Concuerror is a systematic testing tool for concurrent Erlang programs.
Copyright (c) 2014-2016, Stavros Aronis ([email protected]) and Kostis Sagonas ([email protected]). All rights reserved
Copyright (c) 2011-2013, 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 testsuite :
make tests
- Dialyze :
make dialyze
- Cleanup :
make clean
Concuerror's developers are normally working with the latest otp/master branch available on Github. Concuerror is also expected to work on all OTP releases starting from and including R16. We use Travis to test:
- 'Current' major release: latest two minor versions
- Older major releases: last minor version