Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Install / Use
/learn @parapluu/ConcuerrorREADME
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!
Supported OTP Releases
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?
Is there a changelog?
How to prepare for a release?
Copyright and License
Copyright (c) 2014-2023, 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.
<!-- Links --> <!-- Badges -->Related Skills
gh-issues
346.8kFetch GitHub issues, spawn sub-agents to implement fixes and open PRs, then monitor and address PR review comments. Usage: /gh-issues [owner/repo] [--label bug] [--limit 5] [--milestone v1.0] [--assignee @me] [--fork user/repo] [--watch] [--interval 5] [--reviews-only] [--cron] [--dry-run] [--model glm-5] [--notify-channel -1002381931352]
node-connect
346.8kDiagnose OpenClaw node connection and pairing failures for Android, iOS, and macOS companion apps
frontend-design
107.6kCreate distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web components, pages, or applications. Generates creative, polished code that avoids generic AI aesthetics.
Writing Hookify Rules
107.6kThis skill should be used when the user asks to "create a hookify rule", "write a hook rule", "configure hookify", "add a hookify rule", or needs guidance on hookify rule syntax and patterns.
