Skip to content
Browse files

Add a new class for when dropping starts.

  • Loading branch information...
1 parent d4950bb commit a826e66246937f2e253977763825f824f378c2de @jlouis committed Dec 22, 2012
Showing with 2 additions and 0 deletions.
  1. +2 −0 eqc_test/sv_codel_eqc.erl
View
2 eqc_test/sv_codel_eqc.erl
@@ -53,6 +53,8 @@ prop_observations() ->
verify_empty(EmptyState);
{_Pkt, [_ | _], CoDelState} ->
verify_dropped(CoDelState);
+ {drop, [_Pkt], CoDelState} ->
+ classify(true, start_drop, true);
{_Pkt, _Dropped, _SomeState} ->
classify(true, dequeue, true)
end

0 comments on commit a826e66

Please sign in to comment.
Something went wrong with that request. Please try again.