barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-11-23 14:14:36 +03:00
Code Issues Projects Releases Wiki Activity

Forget masking states for dead threads

Browse Source 
Closes #191
This commit is contained in:
Michael Walker 2018-06-10 01:17:02 +01:00
parent e8a056aa3b
commit 8a16a25d62
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dejafu/Test/DejaFu/SCT/Internal/DPOR.hs
View File

@ -732,6 +732,8 @@ updateMaskState tid (Fork tid2) = \masks -> case M.lookup tid masks of
Nothing -> masks
updateMaskState tid (SetMasking _ ms) = M.insert tid ms
updateMaskState tid (ResetMasking _ ms) = M.insert tid ms
updateMaskState tid (Throw True) = M.delete tid
updateMaskState _ (ThrowTo tid True) = M.delete tid
updateMaskState tid Stop = M.delete tid
updateMaskState _ _ = id