UnittestCount

unittest.spad line 66 [edit on github]

UnittestCount is a package that keeps track of statistics collected during testing.It is separate from UnittestAux because the latter takes an argument, and we want the state to be common for all arguments.

addWarning : OutputForm -> Void

addWarning s is an internal function that adds s, together with an indication of the current testcase and the current testsuite to the list of warnings.

incFail : (String, List(OutputForm)) -> Void

incFail(s, o) is an internal function that steps the number of failed tests and records in- and output.

incFatal : String -> Void

incFatal s is an internal function that steps the number of fatal tests and records input.

incLibraryError : (String, List(OutputForm)) -> Void

incLibraryError is an internal function that steps the number of failed tests, but not the number of tests.

incPass : () -> Void

incPass is an internal function that steps the number of passed tests.

incTest : () -> Void

incTest is an internal function that steps the test number.

incXfFail : () -> Void

incXfFail() is an internal function that steps the number expected failures.

incXfFatal : String -> Void

incXfFatal is like incFatal, but for expected failures.

incXfLibraryError : (String, List(OutputForm)) -> Void

incXfLibraryError is like incLibraryError, but using expected failures.

incXfPass : (String, List(OutputForm)) -> Void

incXfPass(s, o) is an internal function that steps the number of tests that passed but were expected to fail and records in- and output.

statistics : () -> Void

statistics() prints out a summary of the outcome of the testcases so far. Use clear completely to reset the statistics.

testcase : String -> Void

testcase s starts a new testcase with s as title. It also calls clear all. A testcase is composed of several tests.

testcaseNoClear : String -> Void

testcaseNoClear s, starts a new testcase with s as title, without calling clear all. A testcase is composed of several tests.

testsuite : String -> Void

testsuite s starts a new testsuite with s as title. It also calls clear all. A testsuite is composed of several testcases.

testsuiteNoClear : String -> Void

testsuiteNoClear s starts a new testsuite with s as title, without calling clear all. A testsuite is composed of several testcases.