MuCheck.Interpreter

Documentation

type InterpreterOutput a = Either InterpreterError (String, a)

checkQuickCheckOnMutants :: [String] -> String -> [String] -> String -> IO [Result]

checkHUnitOnMutants :: [String] -> String -> [String] -> String -> IO [Counts]

checkHspecOnMutants :: [String] -> String -> [String] -> String -> IO [Summary]

mutantCheckSummary :: Summarizable 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 TSum

Constructors

TSum

Fields

tsum_numMutants :: Int

tsum_loadError :: Int

tsum_notKilled :: Int

tsum_killed :: Int

tsum_others :: Int

tsum_log :: String

data TSSum

Constructors

TSSum

Fields

tssum_numMutants :: Int

tssum_alive :: Int

tssum_errors :: Int

tssum_log :: String

type MutantFilename = String

class Typeable s => Summarizable s where

Methods

testSummary :: [MutantFilename] -> [InterpreterOutput s] -> TSum

suiteSummary :: [[InterpreterOutput s]] -> TSSum

isSuccess :: s -> Bool

Instances

Summarizable Counts

Summarizable Result

Summarizable Summary

multipleCheckSummary :: (Show b, Show a, Ord a) => ((a, b) -> Bool) -> [[Either a1 (a, b)]] -> TSSum