From 20a2a5164935fdcf94b3e639229a423b82e7aac8 Mon Sep 17 00:00:00 2001 From: Scott Lystig Fritchie Date: Tue, 25 Feb 2014 15:00:43 +0900 Subject: [PATCH] Partial fix (#2 of 2) for model problem in honest write-vs-trim race --- prototype/corfurl/test/corfurl_pulse.erl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prototype/corfurl/test/corfurl_pulse.erl b/prototype/corfurl/test/corfurl_pulse.erl index 98f295b..0f8eac6 100644 --- a/prototype/corfurl/test/corfurl_pulse.erl +++ b/prototype/corfurl/test/corfurl_pulse.erl @@ -425,8 +425,8 @@ check_trace(Trace0, _Cmds, _Seed) -> ({mod_end, WType, LPN, _Pg}, D) when WType == w_ft; WType == w_tt -> orddict:store(LPN, [error_trimmed], D); - ({mod_end, w_special_trimmed, LPN, _Pg}, D) -> - orddict:store(LPN, [error_trimmed], D) + ({mod_end, w_special_trimmed, LPN, Pg}, D) -> + orddict:store(LPN, [Pg,error_trimmed], D) end, Dict2, [X || X={mod_end,_,_,_} <- StEnds]), {{TS1, TS2, [{values, Dict3}]}, Dict3} end, InitialValDict, StartsDones),