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`
* Run Concuerror     : `concuerror --help`
* Run Concuerror GUI : `concuerror --gui`
* Run testsuite      : `make THREADS=4 test`
* Run unit tests     : `make utest`
* Dialyze            : `make dialyze`
* Cleanup            : `make clean`

Attention!
----------
This is an old version of Concuerror. The actively maintained version is now hosted at https://github.com/parapluu/Concuerror.

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`
* Run Concuerror     : `concuerror --help`
* Run Concuerror GUI : `concuerror --gui`
* Run testsuite      : `make THREADS=4 test`
* Run unit tests     : `make utest`
* Dialyze            : `make dialyze`
* Cleanup            : `make clean`

Add notice for new repository
Add notice for new repository
