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

Examples

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, https://reference.wolfram.com/language/ref/VerificationTest.html.

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2023_verificationtest, organization={Wolfram Research}, title={VerificationTest}, year={2014}, url={https://reference.wolfram.com/language/ref/VerificationTest.html}, note=[Accessed: 04-October-2023 ]}