Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add a new class for when dropping starts.

  • Loading branch information...
commit 977942b808d6cee05a75f1eaa9d56a097f7d4c80 1 parent 6ba0b0c
@jlouis authored
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
Please sign in to comment.
Something went wrong with that request. Please try again.