Skip to content
master
Go to file
Code

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
bin
 
 
 
 
doc
 
 
 
 
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

README.md

Travis Codecov Erlang Versions

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!

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!

Copyright and License

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

You can’t perform that action at this time.