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

Test case doesn't actually need three preemptions

Browse Source
This commit is contained in:
Michael Walker 2017-08-19 15:43:21 +01:00
parent 2a15549d97
commit b39200ab7e
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
dejafu-tests/Examples/AutoUpdate.hs
View File

@ -43,20 +43,21 @@ import Control.Monad
import Control.Monad.Conc.Class
-- test imports
import Test.DejaFu (Bounds(..), Failure(..), defaultBounds, gives)
import Test.DejaFu (Failure(..), gives)
import Utils
tests :: [T]
tests =
[ T "deadlocks" deadlocks (gives [Left Deadlock, Right ()])
, BT "nondeterministic" nondeterministic (gives [Left Deadlock, Right 0, Right 1]) (defaultBounds { boundPreemp = Just 3 })
[ T "deadlocks" deadlocks (gives [Left Deadlock, Right ()])
, T "nondeterministic" nondeterministic (gives [Left Deadlock, Right 0, Right 1])
]
-- This exhibits a deadlock with no preemptions.
deadlocks :: MonadConc m => m ()
deadlocks = join (mkAutoUpdate defaultUpdateSettings)
-- This exhibits nondeterminism with three preemptions.
-- This exhibits nondeterminism with three preemptions. However, as
-- the program explicitly yields, the bounds don't need changing.
nondeterministic :: forall m. MonadConc m => m Int
nondeterministic = do
var <- newCRef 0