On 16 Mar 2011, at 20:58, John Hughes wrote:
> I'd suggest testing all the properties at once with eqc:module({numtests,1000},gb1). That should work in eqcmini too.
Unfortunately, eqcmini (eqc-1.0.1) only has module/1.
BR,
Ulf W
Ulf Wiger, CTO, Erlang Solutions, Ltd.
http://erlang-solutions.com