PropEr: a QuickCheck-inspired property-based testing tool for Erlang
-
Updated
Nov 15, 2024 - Erlang
#
erlang-versions-badge
Here are 2 public repositories matching this topic...
Concuerror is a stateless model checking tool for Erlang programs.
testing
debugging
erlang
otp
tool
verification
systematic-testing
travis-badge
concuerror
automatic
concurrent-erlang-programs
concurrent-programming
model-checking
codecov
model-checker
codecov-badge
stateless-model-checking
erlang-versions-badge
erlang-programs
-
Updated
Oct 29, 2024 - Erlang
Improve this page
Add a description, image, and links to the erlang-versions-badge topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the erlang-versions-badge topic, visit your repo's landing page and select "manage topics."