runs a verification test to determine whether input evaluates to True.


tests whether input evaluates to expected, without issuing messages.


tests whether input evaluates to expected, generating the list of message names messages.

Details and Options


open allclose all

Basic Examples  (3)

Test whether the input evaluates to True:

Test whether the input evaluates to the expected output:

Input evaluates to the expected output but gives messages:

Add the expected message:

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)

MemoryConstraint  (1)

Run a test until a memory limit is exceeded:

SameTest  (4)

Test whether the input is an integer:

Test if the absolute precision of the input is at least 10-12:

Test if the relative precision is at least 10-5:

Test if two expressions are equivalent after simplification:

TestID  (1)

TimeConstraint  (1)

Terminate the test if it takes more than one second:

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:

Wolfram Research (2014), VerificationTest, Wolfram Language function,


Wolfram Research (2014), VerificationTest, Wolfram Language function,


Wolfram Language. 2014. "VerificationTest." Wolfram Language & System Documentation Center. Wolfram Research.


Wolfram Language. (2014). VerificationTest. Wolfram Language & System Documentation Center. Retrieved from


@misc{reference.wolfram_2023_verificationtest, author="Wolfram Research", title="{VerificationTest}", year="2014", howpublished="\url{}", note=[Accessed: 04-October-2023 ]}


@online{reference.wolfram_2023_verificationtest, organization={Wolfram Research}, title={VerificationTest}, year={2014}, url={}, note=[Accessed: 04-October-2023 ]}