Attention!

This is an old version of Concuerror. The actively maintained version is now hosted at https://github.com/parapluu/Concuerror.

Concuerror

Concuerror is a systematic testing tool for concurrent Erlang programs.

Copyright and License

Copyright (c) 2011-2012,
Alkis Gotovos ([email protected]),
Maria Christakis ([email protected]) and
Kostis Sagonas ([email protected]).
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