UnittestCountΒΆ

unittest.spad line 66

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.
chkLibraryError: () -> Void
chkLibraryError is an internal function that steps the number of tests.
decFatal: () -> Void
decFatal is an internal function that declares that the preceding test did not fail with a fatal error.
decXfFatal: () -> Void
like decFatal, but for expected failures.
decXfPass: () -> Void
decXfPass() is an internal function that declares that the preceding test did not pass unexpectedly. This function should only be used for testing library errors
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.
incXfFail: () -> Void
incXfFail() is an internal function that steps the number expected failures.
incXfFatal: String -> Void
like incFatal, but for expected failures.
incXfLibraryError: (String, List OutputForm) -> Void
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.