/Concuerror

Concuerror is a systematic testing tool for concurrent Erlang programs

Primary LanguageErlangBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers

No one’s star this repository yet.