Test.MuCheck.Config

Configuration module

Documentation

data GenerationMode

The knob controlling if we want first order mutation.

Constructors

FirstOrderOnly

FirstAndHigherOrder

Instances

Eq GenerationMode

Show GenerationMode

data Config

The configuration options if 1 is provided, all mutants are selected for that kind, and 0 ensures that no mutants are picked for that kind. Any fraction in between causes that many mutants to be picked randomly from the available pool

Constructors

Config

Fields

muOps :: [MuOp]

Mutation operators on operator or function replacement

doMutatePatternMatches :: Rational

Mutate pattern matches for functions? for example

first [] = Nothing
first (x:_) = Just x

is mutated to

first (x:_) = Just x
first [] = Nothing

doMutateValues :: Rational

Mutates integer values by +1 or -1 or by replacing it with 0 or 1

doNegateIfElse :: Rational

negate if conditions, that is

if True then 1 else 0

becomes

if True then 0 else 1

doNegateGuards :: Rational

negate guarded booleans in guarded definitions

myFn x | x == 1 = True
myFn   | otherwise = False

becomes

myFn x | not (x == 1) = True
myFn   | otherwise = False

maxNumMutants :: Int

Maximum number of mutants to generate.

genMode :: GenerationMode

Generation mode, can be traditional (firstOrder) and higher order (higher order is experimental)

Instances

Show Config

defaultConfig :: Config

The default configuration

data MuVars

Enumeration of different kinds of mutations

Constructors

MutatePatternMatch

MutateValues

MutateNegateIfElse

MutateNegateGuards

getSample :: MuVars -> Config -> Rational

getSample returns the fraction in config corresponding to the enum passed in