Skip to content
This repository
branch: master

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 doc
Octocat-spinner-32 ebin
Octocat-spinner-32 include
Octocat-spinner-32 perm_tests Optimal DPOR June 17, 2013
Octocat-spinner-32 resources
Octocat-spinner-32 src
Octocat-spinner-32 testsuite
Octocat-spinner-32 utest
Octocat-spinner-32 .gitignore
Octocat-spinner-32 DPOR_README
Octocat-spinner-32 LICENSE
Octocat-spinner-32 Makefile Substitute /bin/bash with /usr/bin/env bash to avoid bashism March 09, 2014
Octocat-spinner-32 README.md Implement concurrent testsuite October 19, 2012
README.md

Concuerror

Concuerror is a systematic testing tool for concurrent Erlang programs.

Copyright and License

Copyright (c) 2011-2012,
Alkis Gotovos (el3ctrologos@hotmail.com),
Maria Christakis (mchrista@softlab.ntua.gr) and
Kostis Sagonas (kostis@cs.ntua.gr).
All rights reserved.

Concuerror is distributed under the Simplified BSD License.
Details can be found in the LICENSE file.

Howto

  • Build Concuerror : make
  • Run Concuerror : concuerror --help
  • Run Concuerror GUI : concuerror --gui
  • Run testsuite : make THREADS=4 test
  • Run unit tests : make utest
  • Dialyze : make dialyze
  • Cleanup : make clean
Something went wrong with that request. Please try again.