https://github.com/parapluu/concuerror
Concuerror is a stateless model checking tool for Erlang programs.
https://github.com/parapluu/concuerror
automatic codecov codecov-badge concuerror concurrent-erlang-programs concurrent-programming debugging erlang erlang-programs erlang-versions-badge model-checker model-checking otp stateless-model-checking systematic-testing testing tool travis-badge verification
Last synced: 14 days ago
JSON representation
Concuerror is a stateless model checking tool for Erlang programs.
- Host: GitHub
- URL: https://github.com/parapluu/concuerror
- Owner: parapluu
- License: bsd-2-clause
- Created: 2014-04-04T12:04:51.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2025-03-30T12:49:59.000Z (29 days ago)
- Last Synced: 2025-04-07T02:11:10.677Z (21 days ago)
- Topics: automatic, codecov, codecov-badge, concuerror, concurrent-erlang-programs, concurrent-programming, debugging, erlang, erlang-programs, erlang-versions-badge, model-checker, model-checking, otp, stateless-model-checking, systematic-testing, testing, tool, travis-badge, verification
- Language: Erlang
- Homepage: http://parapluu.github.io/Concuerror
- Size: 10.5 MB
- Stars: 336
- Watchers: 15
- Forks: 42
- Open Issues: 17
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
README
[![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/how-to-release.md
[tests]: https://github.com/parapluu/Concuerror/actions/workflows/tests.yml
[website]: http://parapluu.github.io/Concuerror
[codecov badge]: https://codecov.io/gh/parapluu/Concuerror/branch/master/graph/badge.svg
[erlang versions badge]: https://img.shields.io/badge/erlang-20.3%20to%2023.3-blue.svg
[hex badge]: https://img.shields.io/badge/hex-docs-green.svg
[tests badge]: https://github.com/parapluu/Concuerror/actions/workflows/tests.yml/badge.svg