hex.pm "model-based-testing" keyword
metamon 0.8.0
Property-based testing and metamorphic testing combinator library for Gleam8 versions - Latest release: 9 days ago - 738 downloads total - 1 stars on GitHub - 1 maintainer
makina 0.3.2
Makina is a DSL for writing PBT models for stateful systems.6 versions - Latest release: 11 months ago - 1 dependent repositories - 863 downloads total - 5 stars on gitlab.com - 1 maintainer