Concuerror
Concuerror is a stateless model checking tool for Erlang programs. It can be used to systematically test programs for concurrency errors, detect and report errors that only occur on few, specific schedulings or verify their absence.
To find out more visit the website!
How to build
- Compile :
make - Run the testsuites :
make tests tests-real - Run Dialyzer :
make dialyze - Check code coverage :
make cover - Cleanup :
make clean
The preferred way to start concuerror is via the bin/concuerror escript.
Is there a changelog?
Copyright and License
Copyright (c) 2014-2018, Stavros Aronis (aronisstav@gmail.com) and Kostis Sagonas (kostis@cs.ntua.gr). All rights reserved
Copyright (c) 2011-2013, 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.