diff options
Diffstat (limited to 'quickcheck')
| -rwxr-xr-x | quickcheck | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/quickcheck b/quickcheck index 8b1736bb6e..59da37191e 100755 --- a/quickcheck +++ b/quickcheck @@ -7,15 +7,17 @@ %% NodeStr is a local broker node name %% ModStr is the module containing quickcheck properties %% TrialsStr is the number of trials -main([NodeStr, ModStr, TrialsStr]) -> +main([NodeStr, ModStr, NumTestsStr, MaxSizeStr]) -> {ok, Hostname} = inet:gethostname(), Node = list_to_atom(NodeStr ++ "@" ++ Hostname), Mod = list_to_atom(ModStr), - Trials = erlang:list_to_integer(TrialsStr), + NumTests = erlang:list_to_integer(NumTestsStr), + MaxSize = erlang:list_to_integer(MaxSizeStr), case rpc:call(Node, code, ensure_loaded, [proper]) of {module, proper} -> case rpc:call(Node, proper, module, - [Mod] ++ [[{numtests, Trials}, + [Mod] ++ [[{numtests, NumTests}, + {max_size, MaxSize}, {constraint_tries, 200}]]) of [] -> ok; R -> io:format("~p.~n", [R]), |
