parapluu/Concuerror

Concuerror is a stateless model checking tool for Erlang applications, designed to detect race conditions and deadlocks by exploring concurrent execution interleavings. The system provides both command-line and GUI interfaces, featuring Dynamic Partial Order Reduction (DPOR) algorithms to efficiently analyze concurrency. It includes a comprehensive test suite that validates the tool's behavior against various Erlang constructs, real-world libraries, and concurrency litmus tests.

This period marks the initial creation and expansion of the Concuerror project, a stateless model checking tool for Erlang. The work focused on establishing the core architecture, build infrastructure, and comprehensive test suites to verify concurrency analysis and dynamic partial order reduction (DPOR) algorithms.

16 changes

This period focused on significantly expanding test coverage across the codebase, particularly for concurrency and edge cases using Concuerror. Key additions included new test suites for gproc and poolboy, while existing tests for options and corner cases were restructured and deepened. Additionally, code coverage thresholds were enforced to maintain high standards.

8 changes

This period focused on significantly expanding the project's test coverage by introducing new test suites for Erlang concurrency, output formatting, and specific modules like timer and maps. The work also included adding build scripts for documentation and code coverage, as well as implementing bash completion to improve the command-line experience.

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.