barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-24 05:55:18 +03:00
Code Issues Projects Releases Wiki Activity

Consider masking changes interesting for SCT

Browse Source
This commit is contained in:
Michael Walker 2015-02-14 18:59:11 +00:00
parent f75db99713
commit 8af7b814c2
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Test/DejaFu/SCT/Bounding.hs
View File

@ -228,5 +228,7 @@ interesting _ (BlockedTake _) = True
interesting _ (STM _) = True interesting _ (STM _) = True
interesting _ BlockedSTM = True interesting _ BlockedSTM = True
interesting _ (ThrowTo _) = True interesting _ (ThrowTo _) = True
interesting _ (SetMasking _ _) = True
interesting _ (ResetMasking _ _ ) = True
interesting l Lift = l interesting l Lift = l
interesting _ _ = False interesting _ _ = False