Unittest

unittest.spad line 617 [edit on github]

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 account 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 account testAbsolutePrecision and testRelativePrecision.

testTrue: String -> Void

testTrue(ex) states that ex should be true.

xftestComplexEquals: (String, String) -> Void

xftestComplexEquals is like testComplexEquals, but expects failure.

xftestEquals: (String, String) -> Void

xftestEquals is like testEquals, but expects failure.

xftestLibraryError: String -> Void

xftestLibraryError is like testLibraryError, but expects failure.

xftestNotEquals: (String, String) -> Void

xftestNotEquals is like testNotEquals, but expects failure.

xftestRealEquals: (String, String) -> Void

xftestRealEquals is like testRealEquals, but expects failure.

xftestTrue: String -> Void

xftestTrue is like testTrue, but expects failure.