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 | bae4a5032ec7897be858647f79c4349be5b8c363 (patch) | |
| tree | c7efa3888a4341e698d366e2edda3de416b717e6 | |
| parent | d4e2ab21fb3ea9c5003e051c092aa0df0e451883 (diff) | |
| download | rabbitmq-server-bug25302.tar.gz | |
BQ quickcheck postcondition for dropbug25302
| -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 df242062..3168ca5c 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 |