Search
Configures a module to make it compatible with PropCheck and eqc_ex state machines.
PropCheck
eqc_ex