{"repo":"parapluu/Concuerror","free":true,"listed":false,"github":"https://github.com/parapluu/Concuerror","clone":"git clone https://github.com/parapluu/Concuerror.git","description":"Concuerror is a stateless model checking tool for Erlang programs.","language":"Erlang","stars":346,"topics":["concuerror","erlang","systematic-testing","testing","tool","automatic","otp","concurrent-erlang-programs","debugging","verification"],"license":"BSD-2-Clause","category":"dev-tools","readme_excerpt":"[![Hex Docs][hex badge]][hex] [![Tests][tests badge]][tests] [![Codecov][codecov badge]][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][website] for documentation, examples, tutorials, publications, and many more! Supported OTP Releases [![Erlang Versions][erlang versions badge]][tests] 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!][bash completion] Is there a changelog? [Yes!][changelog] How to prepare for a release? [Read this][release] Copyright and License Copyright (c) 2014-2023, Stavros Aronis ( ) and Kostis Sagonas ( ). All rights reserved Copyright (c) 2011-2013, Alkis Gotovos ( ), Maria Christakis ( ) and Kostis Sagonas ( ). All rights reserved. Concuerror is distributed under the Simplified BSD License. Details can be found in the [LICENSE][license] file. [bash completion]: ./resources/bash completion/concuerror [changelog]: ./CHANGELOG.md [codecov]: https://codecov.io/gh/parapluu/Concuerror [hex]: https://hexdocs.pm/concuerror/ [license]: ./LICENSE [release]: ./resources","default_branch":null,"files":null,"tree":[],"storefront":"/r/parapluu","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/parapluu/Concuerror/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}