summaryrefslogtreecommitdiff
path: root/quickcheck
diff options
context:
space:
mode:
authorAlexandru Scvortov <alexandru@rabbitmq.com>2011-10-25 19:20:27 +0100
committerAlexandru Scvortov <alexandru@rabbitmq.com>2011-10-25 19:20:27 +0100
commit49b257a4b21c66d9eed7b0a120b0dcd26d4a2712 (patch)
tree8108f7c5c76f07b6c1a0aa427d49f1ae5cee8970 /quickcheck
parent3c96c0343b754f090d751bdeaa85e4a3a14ae6fa (diff)
parent2cef73fa13b632c611dd52b18a365ebe1849fef3 (diff)
downloadrabbitmq-server-git-49b257a4b21c66d9eed7b0a120b0dcd26d4a2712.tar.gz
merge bug 24511 into default (VQ soak test must generate unique message IDs)
Diffstat (limited to 'quickcheck')
-rwxr-xr-xquickcheck9
1 files changed, 5 insertions, 4 deletions
diff --git a/quickcheck b/quickcheck
index a36cf3ed86..b5382d75b9 100755
--- a/quickcheck
+++ b/quickcheck
@@ -6,15 +6,16 @@
%% A helper to test quickcheck properties on a running broker
%% NodeStr is a local broker node name
%% ModStr is the module containing quickcheck properties
-%% The number of trials is optional
-main([NodeStr, ModStr | TrialsStr]) ->
+%% TrialsStr is the number of trials
+main([NodeStr, ModStr, TrialsStr]) ->
{ok, Hostname} = inet:gethostname(),
Node = list_to_atom(NodeStr ++ "@" ++ Hostname),
Mod = list_to_atom(ModStr),
- Trials = lists:map(fun erlang:list_to_integer/1, TrialsStr),
+ Trials = erlang:list_to_integer(TrialsStr),
case rpc:call(Node, code, ensure_loaded, [proper]) of
{module, proper} ->
- case rpc:call(Node, proper, module, [Mod] ++ Trials) of
+ case rpc:call(Node, proper, module,
+ [Mod] ++ [[{numtests, Trials}, {constraint_tries, 200}]]) of
[] -> ok;
_ -> quit(1)
end;