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

Rename doTest to testPred

Browse Source
This commit is contained in:
Michael Walker 2014-12-23 16:30:20 +00:00
parent a78f211919
commit 2f4d191efa
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
Tests/Utils.hs
View File

@ -12,13 +12,14 @@ import System.Random (mkStdGen)
data Test = Test { name :: String, result :: IO Result }
data Result = Pass | Fail String | Error String
-- | Run a concurrent computation, aggregating the results.
doTest :: ([Maybe a] -> Result) -> Int -> (forall t. Conc t a) -> IO Result
doTest predicate num conc = predicate <$> map fst <$> runSCT sctRandom (mkStdGen 0) num conc
-- | Test that a predicate holds over the results of a concurrent
-- computation.
testPred :: ([Maybe a] -> Result) -> Int -> (forall t. Conc t a) -> IO Result
testPred predicate num conc = predicate . map fst <$> runSCT sctRandom (mkStdGen 0) num conc
-- | Test that a concurrent computation is free of deadlocks.
testDeadlockFree :: Int -> (forall t. Conc t a) -> IO Result
testDeadlockFree = doTest predicate where
testDeadlockFree = testPred predicate where
predicate xs = case filter isNothing xs of
[] -> Pass
ds -> Fail $ "Found " ++ show (length ds) ++ "/" ++ show (length xs) ++ " deadlocking schedules."
@ -26,7 +27,7 @@ testDeadlockFree = doTest predicate where
-- | Test that a concurrent computation always returns the same
-- result.
testAlwaysSame :: (Eq a, Ord a) => Int -> (forall t. Conc t a) -> IO Result
testAlwaysSame = doTest predicate where
testAlwaysSame = testPred predicate where
predicate xs = case group $ sort xs of
[] -> Pass
[[_]] -> Pass