Advance time more often.

naryl · Mar 4, 2012 · 39db7a6 · 39db7a6
1 parent ddaaa30
commit 39db7a6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/jobs_eqc_queue.erl b/test/jobs_eqc_queue.erl
@@ -40,7 +40,7 @@ g_model(N) ->
                   ?LET(M, g_model(max(0, N-2)),
                        frequency(
                          [
-                          {300, {call, ?MODULE, advance_time, [M, nat()]}},
+                          {200, {call, ?MODULE, advance_time, [M, nat()]}},
                           {200, {call, ?MODULE, in, [jobs_queue, g_job(), M]}},
                           {100, {call, ?MODULE, out, [jobs_queue, nat(), M]}},
                           {1,   {call, ?MODULE, empty, [jobs_queue, M]}}