diff options
| author | Emile Joubert <emile@rabbitmq.com> | 2012-11-21 12:25:05 +0000 |
|---|---|---|
| committer | Emile Joubert <emile@rabbitmq.com> | 2012-11-21 12:25:05 +0000 |
| commit | 50d2f0084bb88dd88641c97d4081b898820ac6e3 (patch) | |
| tree | c7efa3888a4341e698d366e2edda3de416b717e6 | |
| parent | e219e395b8858db6dc02aeea23fef960c64c79c2 (diff) | |
| download | rabbitmq-server-git-50d2f0084bb88dd88641c97d4081b898820ac6e3.tar.gz | |
BQ quickcheck postcondition for drop
| -rw-r--r-- | src/rabbit_backing_queue_qc.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/rabbit_backing_queue_qc.erl b/src/rabbit_backing_queue_qc.erl index df2420621c..3168ca5c77 100644 --- a/src/rabbit_backing_queue_qc.erl +++ b/src/rabbit_backing_queue_qc.erl @@ -293,8 +293,8 @@ postcondition(S, {call, ?BQMOD, drop, _Args}, Res) -> case Res of {{MsgIdFetched, AckTag, RemainingLen}, _BQ} -> {_SeqId, {_MsgProps, Msg}} = gb_trees:smallest(Messages), - MsgId = {call, erlang, element, - [?RECORD_INDEX(id, basic_message), Msg]}, + MsgId = eval({call, erlang, element, + [?RECORD_INDEX(id, basic_message), Msg]}), MsgIdFetched =:= MsgId andalso not proplists:is_defined(AckTag, Acks) andalso not gb_sets:is_element(AckTag, Confrms) andalso |