greg/machi
1
0
Fork 0
Code Issues 11 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Partial fix (#2 of 2) for model problem in honest write-vs-trim race

Browse source
This commit is contained in:
Scott Lystig Fritchie 2014-02-25 15:00:43 +09:00
parent 638a45e8cb
commit 20a2a51649
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
prototype/corfurl/test/corfurl_pulse.erl
View file

@ -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),