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

Add a test case to replicate issue 71.

Browse Source
This commit is contained in:
Michael Walker 2017-02-25 06:01:38 +00:00
parent b3c96f1f99
commit 95eed7524c
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
dejafu-tests/Cases/MultiThreaded.hs
View File

@ -51,6 +51,7 @@ tests =
, T "deadlock2" scDeadlock2 $ gives' [(Left Deadlock, ()), (Right (), ())] , T "deadlock2" scDeadlock2 $ gives' [(Left Deadlock, ()), (Right (), ())]
, T "success" scSuccess $ gives' [Right ()] , T "success" scSuccess $ gives' [Right ()]
, T "illegal" scIllegal $ gives [Left IllegalSubconcurrency] , T "illegal" scIllegal $ gives [Left IllegalSubconcurrency]
, T "issue 71" scIssue71 $ gives' [()]
] ]
] ]
where where
@ -254,3 +255,12 @@ scIllegal = do
var <- newEmptyMVar var <- newEmptyMVar
void . fork $ readMVar var void . fork $ readMVar var
void . subconcurrency $ pure () void . subconcurrency $ pure ()
-- | Test case from issue 71. This won't fail if the bug is
-- reintroduced, it will just hang.
scIssue71 :: Monad n => Conc n r ()
scIssue71 = do
let ma ||| mb = do { j1 <- spawn ma; j2 <- spawn mb; takeMVar j1; takeMVar j2; pure () }
s <- newEmptyMVar
_ <- subconcurrency (takeMVar s ||| pure ())
pure ()