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.