Skip to content
No description or website provided.
Erlang
Find file
Pull request Compare This branch is 368 commits behind mariachris:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
doc
ebin
include
resources
src
utest
.gitignore
LICENSE
Makefile
README.md

README.md

Concuerror

Concuerror is a systematic testing tool for concurrent Erlang programs.

Copyright and License

Copyright (c) 2011-2012,
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.

Howto

  • Build Concuerror : make
  • Cleanup : make clean
  • Run Concuerror GUI : run.sh
  • Run unit tests : test.sh
Something went wrong with that request. Please try again.