Merge pull request #75 from rpt/master

Support for QuickCheck Mini
This commit is contained in:
Dave Smith 2013-06-12 06:18:16 -07:00
commit 6cd982c897

View file

@ -175,6 +175,7 @@ qc_module(QC=triq, _QCOpts, M) ->
Failed ->
[Failed]
end;
qc_module(QC=eqc, [], M) -> QC:module(M);
qc_module(QC=eqc, QCOpts, M) -> QC:module(QCOpts, M).
find_prop_mods() ->