Skip to content

Concuerror is a systematic testing tool for concurrent Erlang programs

License

Notifications You must be signed in to change notification settings

kostis/Concuerror

 
 

Tests Codecov

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.

Visit the website for documentation, examples, tutorials, publications, and many more!

Supported OTP Releases

Erlang Versions

How to build

  • Compile : make
  • Build documentation : make edoc
  • Run the testsuites : make tests tests-real tests-unit
  • Run Dialyzer : make dialyzer
  • Run Elvis : make lint
  • Check code coverage : make cover
  • Cleanup : make clean

The preferred way to start concuerror is via the bin/concuerror escript.

Is there bash_completion?

Yes!

Is there a changelog?

Yes!

How to prepare for a release?

Read this

Copyright and License

Copyright (c) 2014-2020, 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.

About

Concuerror is a systematic testing tool for concurrent Erlang programs

Resources

License

Code of conduct

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Erlang 96.3%
  • Shell 2.7%
  • Other 1.0%