MuCheck-0.1.0.1: Automated Mutation Testing

Safe HaskellNone
LanguageHaskell2010

MuCheck.Interpreter

Documentation

type InterpreterOutput a = Either InterpreterError (String, a) Source

checkPropsOnMutants :: [String] -> String -> [String] -> String -> IO [Result] Source

checkTestSuiteOnMutants :: [String] -> String -> [String] -> String -> IO [Counts] Source

mutantCheckSummary :: Summarizable a => [String] -> String -> [String] -> FilePath -> IO [a] Source

runCodeOnMutants :: (MonadIO m, MonadMask m, Typeable * t, Functor m) => [String] -> String -> String -> m [Either InterpreterError (String, t)] Source

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

type MutantFilename = String Source

type TerminalSummary = String Source

type LogSummary = String Source

class Typeable s => Summarizable s where Source

Methods

singleSummary :: [MutantFilename] -> [InterpreterOutput s] -> (TerminalSummary, LogSummary) Source

multipleSummary :: [[InterpreterOutput s]] -> (TerminalSummary, LogSummary) Source

Instances

multipleCheckSummary :: Show a => (a -> Bool) -> [[InterpreterOutput a]] -> (String, String) Source