parapluu/Concuerror

Concuerror is an Erlang model checker and static analysis tool designed to detect concurrency bugs, such as race conditions and deadlocks, in Erlang applications. It provides a command-line interface and a public API for programmatic invocation, supported by a comprehensive test suite that validates its own behavior and verifies external libraries like gproc and poolboy. The system includes build infrastructure, documentation generation, and automated coverage enforcement to ensure code quality and correctness.

This period focused on formalizing Concuerror as a standard Erlang application and establishing a robust, automated test infrastructure. Significant effort was directed toward expanding test coverage for concurrency scenarios, including DPOR algorithms, ETS interactions, and Erlang built-ins, while also preserving legacy headers and documentation.

16 changes

This period focused on expanding automated concurrency verification using Concuerror for libraries like gproc and poolboy, while also adding comprehensive tests for CLI options and bounding algorithms. Additionally, the project introduced strict code coverage thresholds to ensure high-quality, bug-free releases.

8 changes

This period focused on significantly expanding the project's test coverage by introducing new suites for the build system, Erlang concurrency, and specific Erlang modules. It also introduced private build scripts for documentation and versioning, alongside a bash completion feature for the command-line interface.

7 changes

parapluu/Concuerror was measured the same way every project in this corpus was: the same rubric, at a pinned commit, with the result published in full. Point the surveyor at a repository you know and see whether you agree with it.