Test.MuCheck.TestAdapter

Module for adapting test framekworks

Documentation

data Summarizable a => InterpreterOutput a

Wrapper for interpreter output

Constructors

Io

Fields

_io :: Either InterpreterError a

_ioLog :: String

type Mutant = String

Holding mutant information

type TestStr = String

Holding test information

newtype Summary

Summary of test run

Constructors

Summary String

Instances

Show Summary

Typeable * Summary

class Typeable s => Summarizable s where

Interface to be implemented by a test framework

Minimal complete definition

testSummary, isSuccess

Methods

testSummary :: Mutant -> TestStr -> InterpreterOutput s -> Summary

Summary of test suite on a single mutant

isSuccess :: s -> Bool

Was the test run a success

isFailure :: s -> Bool

Was the test run a failure

isOther :: s -> Bool

Was the test run neither (gaveup/timedout)