Test.MuCheck.TestAdapter

Module for adapting test framekworks

Documentation

type InterpreterOutput a = Either InterpreterError (String, a)

Wrapper for interpreter output

type Mutant = String

Holding mutant information

newtype Summary

Summary of test run

Constructors

Summary String

class Typeable s => Summarizable s where

Interface to be implemented by a test framework

Minimal complete definition

testSummary, isSuccess

Methods

testSummary :: [Mutant] -> [InterpreterOutput s] -> Summary

Summary of a test run

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)