Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Erlang Python
tree: fc8c5230ef

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
doc
ebin
include
resources
src
testsuite
utest
.gitignore
LICENSE
Makefile
README.md

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 test
  • Run unit tests : make utest
  • Dialyze : make dialyze
  • Cleanup : make clean
Something went wrong with that request. Please try again.