API Reference makina v0.2.0
modules
Modules
Makina is a Domain Specific Language to write property-based testing models.
Configures a module to make it compatible with PropCheck
and eqc_ex
state machines.
Adds default callbacks information to command definitions.
Provides definitions for types common to all Makina models.