VerificationTest
VerificationTest[input]
runs a verification test to determine whether input evaluates to True.
VerificationTest[input,expected]
tests whether input evaluates to expected, without issuing messages.
VerificationTest[input,expected,messages]
tests whether input evaluates to expected, generating the list of message names messages.
Details and Options

- VerificationTest returns a TestObject.
- VerificationTest has attribute HoldAllComplete.
- VerificationTest[input,expected] evaluates tests immediately and is effectively equivalent to TestEvaluate[TestCreate[input,expected]].
- VerificationTest has the following options:
-
MemoryConstraint Infinity memory (in bytes) the test is allowed to use MetaInformation < > metainformation associated with the test SameTest SameQ function to compare actual and expected output TestID None unique identifier for the test TimeConstraint Infinity time (in seconds) the test is allowed to use - TestIDAutomatic creates a unique UUID each time the test is run.
- VerificationTest evaluates tests without displaying messages.
Examples
open allclose allBasic Examples (3)
Test whether the input evaluates to True:
Test whether the input evaluates to the expected output:
Scope (3)
Basic Uses (3)
Perform a test and present the results in a Dataset:
Test if the results of an NIntegrate are numerically equivalent to Integrate, by using an absolute tolerance:
This can also be done by using the SameTest option:
Use Unevaluated to pass unevaluated expressions to the SameTest function:
You can use a combination of Function and Echo to print the arguments of the SameTest function:
Options (8)
SameTest (4)
TestID (1)
Add TestID to a VerificationTest:
MetaInformation (1)
Store arbitrary metainformation in the TestObject:
Access the stored MetaInformation:
Possible Issues (4)
The expected output is evaluated before comparison with the actual output:
Use Unevaluated to compare expressions before evaluation happens:
Messages generated on evaluation of expected output are not accounted for in the expected messages:

If SameTest does not evaluate to True or False, an outcome of "Error" is reported:

Tests for functions that produce Graphics or special typesetting may produce unexpected results:
This is because the input expressions and the output are not SameQ:
Text
Wolfram Research (2014), VerificationTest, Wolfram Language function, https://reference.wolfram.com/language/ref/VerificationTest.html.
CMS
Wolfram Language. 2014. "VerificationTest." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/VerificationTest.html.
APA
Wolfram Language. (2014). VerificationTest. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/VerificationTest.html