Test.TLT.Results

Results representation for the TLT testing system. See TLT for more information.

Results of tests

data TestFail

Reasons why a test might fail.

Constructors

Asserted String

A failure arising from an Assertion which is not met.

Erred String

A failure associated with a call to a Haskell function triggering an error.

formatFail :: TestFail -> String

Default conversion of a TestFail to a descriptive string.

data TestResult

Hierarchical structure holding the result of running tests, possibly grouped into tests.

Constructors

Test String [TestFail]

Group String Int Int [TestResult]

The Ints are respectively the total number of tests executed, and total number of failures detected.

failCount :: TestResult -> Int

Return the number of failed tests reported in a TestResult.

testCount :: TestResult -> Int

Return the number of tests described by a TestResult.

totalFailCount :: [TestResult] -> Int

Return the number of failed tests described in a list of TestResults.

totalTestCount :: [TestResult] -> Int

Return the number of tests described in a list of TestResults.