UnittestΒΆ

unittest.spad line 659

Unittest is a package that provides functions for regression testing. Note that it calls the interpreter, thus, all functions require that their arguments be passed as strings.

testComplexEquals: (String, String) -> Void
testComplexEquals(ex1, ex2) states that ex1 and ex2 should be approximately equal as complex numbers, taking into acount testAbsolutePrecision and testRelativePrecision.
testEquals: (String, String) -> Void
testEquals(ex1, ex2) states that ex1 and ex2 should be equal. To sidestep the possibility that the equality function of the domain R performs some simplifications, we convert ex1 and ex2 to InputForm, if possible.
testLibraryError: String -> Void
testLibraryError ex states that ex should throw an error. Such a test will never count as a fatal error.
testNotEquals: (String, String) -> Void
testNotEquals(ex1, ex2) states that ex1 and ex2 should be different.
testRealEquals: (String, String) -> Void
testRealEquals(ex1, ex2) states that ex1 and ex2 should be approximately equal as real numbers, taking into acount testAbsolutePrecision and testRelativePrecision.
testTrue: String -> Void
testTrue ex states that ex should be true.
xftestComplexEquals: (String, String) -> Void
like testComplexEquals, but expects failure.
xftestEquals: (String, String) -> Void
like testEquals, but expects failure.
xftestLibraryError: String -> Void
like testLibraryError, but expects failure.
xftestNotEquals: (String, String) -> Void
like testNotEquals, but expects failure.
xftestRealEquals: (String, String) -> Void
like testRealEquals, but expects failure.
xftestTrue: String -> Void
like testTrue, but expects failure.