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