Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Reset frequencies to something a bit more standard.

  • Loading branch information...
commit 2fb7bdf6fa0163ace97b6473db71cfcf8a2ef3d0 1 parent 35ef7a5
@jlouis authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 eqc_test/sv_codel_eqc.erl
View
4 eqc_test/sv_codel_eqc.erl
@@ -24,9 +24,9 @@ g_model(N, todo) ->
{1, g_model(0, todo)},
{N, ?LET(M, g_model(max(0, N-2), todo),
frequency(
- [{400, g_cmd_advance_time(M)}] ++
+ [{100, g_cmd_advance_time(M)}] ++
[{100, {call, ?MODULE, enqueue, [M]}}] ++
- [{200, {call, ?MODULE, dequeue, [M]}}]))}]).
+ [{100, {call, ?MODULE, dequeue, [M]}}]))}]).
g_model() ->
Please sign in to comment.
Something went wrong with that request. Please try again.