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.