Concuerror is a systematic testing tool for concurrent Erlang programs.
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.
- 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