MuCheck.Mutation

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

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]

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

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