Test.MuCheck.Mutation

Mutation happens here.

Documentation

genMutants :: String -> FilePath -> IO Int

The genMutants function is a wrapper to genMutantsWith with standard configuraton

genMutantsWith :: Config -> String -> FilePath -> IO Int

The genMutantsWith function takes configuration function to mutate, filename the function is defined in, and produces mutants in the same directory as the filename, and returns the number of mutants produced.

mutates :: [MuOp] -> Decl -> [Decl]

Mutating a function's code using a bunch of mutation operators (In all the three mutate functions, we assume working with functions declaration.)

mutatesN :: [MuOp] -> Decl -> Int -> [Decl]

mutate :: MuOp -> Decl -> [Decl]

Given a function, generate all mutants after applying applying op once (op might be applied at different places).E.g.: op = "== ">" and there are two instances of "<"

isFunctionD :: String -> Decl -> Bool

is the parsed expression the function we are looking for?

permMatches :: Decl -> [MuOp]

Generate all operators for permutating pattern matches in a function. We don't deal with permutating guards and case for now.

removeOnePMatch :: Decl -> [MuOp]

generates transformations that removes one pattern match from a function definition.

removeOneElem :: Eq t => [t] -> [[t]]

generate sub-arrays with one less element

parseModuleFromFile :: String -> Module

Parse a module. Input is the content of the file

getDecls :: Module -> [Decl]

putDecls :: Module -> [Decl] -> Module

selectValOps :: (Data a, Eq a, Typeable b, Mutable b, Eq b) => (b -> Bool) -> [b -> b] -> a -> [MuOp]

selectValOps' :: (Data a, Eq a, Typeable b, Mutable b) => (b -> Bool) -> (b -> [b]) -> a -> [MuOp]

selectIntOps :: (Data a, Eq a) => a -> [MuOp]

selectIfElseBoolNegOps :: (Data a, Eq a) => a -> [MuOp]

negating boolean in if/else statements

selectGuardedBoolNegOps :: (Data a, Eq a) => a -> [MuOp]

negating boolean in Guards