Permalink
Browse files

Fix EQC test so it runs.

  • Loading branch information...
1 parent f46809b commit 9a1a10865f04da997beefa1d38a8b854b9db246b @jlouis committed Dec 23, 2012
Showing with 2 additions and 3 deletions.
  1. +2 −3 eqc_test/sv_codel_eqc.erl
@@ -53,7 +53,7 @@ prop_observations() ->
verify_empty(EmptyState);
{_Pkt, [_ | _], CoDelState} ->
verify_dropped(CoDelState);
- {drop, [_Pkt], CoDelState} ->
+ {drop, [_Pkt], _CoDelState} ->
classify(true, start_drop, true);
{_Pkt, _Dropped, _SomeState} ->
classify(true, dequeue, true)
@@ -89,7 +89,6 @@ enqueue(#model { t = T, st = ST } = State) ->
dequeue(#model { t = T, st = ST } = State) ->
ST2 =
case sv_codel:dequeue(T, ST) of
- {ok, _, _, S} -> S;
- {empty, _, S} -> S
+ {_, _, S} -> S
end,
State#model { t = T+1, st = ST2 }.

0 comments on commit 9a1a108

Please sign in to comment.