Instrument certain calls to gs2:call/3 and gs2:cast/2, and allow PropEr to determine when they proceed. That makes things a lot more deterministic (although not fully) and lets us reproduce bug 26171 (small whoop).

1 files changed, 4 insertions, 1 deletions

diff --git a/quickcheck b/quickcheck
index 40f130919f..565b19304c 100755
--- a/quickcheck
+++ b/quickcheck
@@ -15,7 +15,10 @@ main([NodeStr, ModStr, TrialsStr]) ->
     case rpc:call(Node, code, ensure_loaded, [proper]) of
         {module, proper} ->
             case rpc:call(Node, proper, module,
-                          [Mod] ++ [[{numtests, Trials}, {constraint_tries, 200}]]) of
+                          [Mod] ++ [[{numtests, Trials},
+                                     {constraint_tries, 200},
+                                     {start_size, 5},
+                                     long_result]]) of
                 [] -> ok;
                 R  -> io:format("~p.~n", [R]),
                       quit(1)