Test.MuCheck.Interpreter

The entry point for mucheck

Documentation

evaluateMutants :: (Summarizable a, Show a) => (Mutant -> TestStr -> InterpreterOutput a -> Summary) -> [Mutant] -> [String] -> IO (MAnalysisSummary, [MutantSummary])

Given the list of tests suites to check, run the test suite on mutants.

evalMethod :: (MonadInterpreter m, Typeable t) => String -> String -> m t

Given the filename, modulename, test to evaluate, evaluate, and return result as a pair.

t = I.runInterpreter (evalMethod
       "Examples/QuickCheckTest.hs"
       "quickCheckResult idEmp")

evalMutant :: (Typeable t, Summarizable t) => [TestStr] -> Mutant -> IO [InterpreterOutput t]

Run all tests on a mutant

evalTest :: (Typeable a, Summarizable a) => String -> String -> String -> IO (InterpreterOutput a)

Run one single test on a mutant

summarizeResults :: Summarizable a => (Mutant -> TestStr -> InterpreterOutput a -> Summary) -> [String] -> (Mutant, [InterpreterOutput a]) -> MutantSummary

data MutantSummary

Data type to hold results of a single test execution

Constructors

MSumError Mutant String [Summary]

MSumAlive Mutant [Summary]

MSumKilled Mutant [Summary]

MSumOther Mutant [Summary]

Instances

Show MutantSummary

Typeable * MutantSummary