Skip to content

VerificationTest

VerificationTest(test-expr)

create a TestResultObject by testing if test-expr evaluates to True.

VerificationTest(test-expr, expected-expr)

create a TestResultObject by testing if test-expr evaluates to expected-expr.

SameTest can be used as an option. The default option used is SameTest->SameQ.

See

Examples

>> VerificationTest(3^3, 27)
TestResultObject(Outcome->Success,TestID->None)

TestReport, TestResultObject

Implementation status

  • ✅ - full supported

Github