| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
MuCheck.Interpreter
- checkQuickCheckOnMutants :: [String] -> String -> [String] -> String -> IO [Result]
- checkHUnitOnMutants :: [String] -> String -> [String] -> String -> IO [Counts]
- checkHspecOnMutants :: [String] -> String -> [String] -> String -> IO [Summary]
- mutantCheckSummary :: (Summarizable a, Show a) => [String] -> String -> [String] -> FilePath -> IO [a]
- runCodeOnMutants :: Typeable * t => [[Char]] -> [Char] -> [Char] -> IO [Either InterpreterError (String, t)]
- evalMethod :: (MonadInterpreter m, Typeable t) => String -> String -> String -> m (String, t)
- data TSSum = TSSum {
- tssum_numMutants :: Int
- tssum_alive :: Int
- tssum_errors :: Int
- tssum_log :: String
- multipleCheckSummary :: (Show b1, Show b, Ord b1) => ((b1, b) -> Bool) -> [[Either a (b1, b)]] -> TSSum
Documentation
checkQuickCheckOnMutants :: [String] -> String -> [String] -> String -> IO [Result] Source
run quickcheck test suite on mutants
>>> numMutants <- genMutants "qsort" "Examples/QuickCheckTest.hs"
>>> checkQuickCheckOnMutants (take numMutants $ genFileNames -- "ExamplesQuickCheckTest.hs") Examples.QuickCheckTest ["quickCheckResult idEmpProp", "quickCheckResult revProp", "quickCheckResult modelProp"] ".quickcheck.log"
checkHUnitOnMutants :: [String] -> String -> [String] -> String -> IO [Counts] Source
run hunit test suite on mutants
>>> numMutants <- genMutants "qsort" "Examples/HUnitTest.hs"
>>> checkHUnitOnMutants (take numMutants $ genFileNames "ExamplesHUnitTest.hs") Examples.HUnitTest ["runTestTT tests"] ".hunit.log"
checkHspecOnMutants :: [String] -> String -> [String] -> String -> IO [Summary] Source
run hspec test suite on mutants
>>> numMutants <- genMutants "qsort" "Examples/HspecTest.hs"
>>> checkHspecOnMutants (take numMutants $ genFileNames "ExamplesHspecTest.hs") Examples.HspecTest ["spec (with "qsort1")"] ".hspec.log"
mutantCheckSummary :: (Summarizable a, Show a) => [String] -> String -> [String] -> FilePath -> IO [a] Source
Given the list of tests suites to check, run one test suite at a time on all mutants.
runCodeOnMutants :: Typeable * t => [[Char]] -> [Char] -> [Char] -> IO [Either InterpreterError (String, t)] Source
Run one test suite on all mutants
>>> t = runInterpreter (evalMethod "Examples/QuickCheckTest.hs" Examples.QuickCheckTest "quickCheckResult idEmp")
evalMethod :: (MonadInterpreter m, Typeable t) => String -> String -> String -> m (String, t) Source
Given the filename, modulename, test to evaluate, evaluate, and return result as a pair.
Datatype to hold results of the entire run
Constructors
| TSSum | |
Fields
| |