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

Re-export MaskingState from Deterministic

Browse Source
This commit is contained in:
Michael Walker 2015-02-14 21:24:41 +00:00
parent 99dd56adfe
commit 7409bc67cd
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Test/DejaFu/Deterministic.hs
View File

@ -43,6 +43,7 @@ module Test.DejaFu.Deterministic
, Decision(..) , Decision(..)
, ThreadAction(..) , ThreadAction(..)
, CVarId , CVarId
, MaskingState(..)
, showTrace , showTrace
-- * Scheduling -- * Scheduling

1
Test/DejaFu/Deterministic/IO.hs
View File

@ -47,6 +47,7 @@ module Test.DejaFu.Deterministic.IO
, Decision(..) , Decision(..)
, ThreadAction(..) , ThreadAction(..)
, CVarId , CVarId
, MaskingState(..)
, showTrace , showTrace
-- * Scheduling -- * Scheduling