VerificationTest

runs a verification test to determine whether input evaluates to True, without issuing messages.

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

MemoryConstraint	Infinity	memory (in bytes) the test is allowed to use
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

open allclose all

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:

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:

Run a test until a memory limit is exceeded:

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:

Terminate the test if it takes more than one second:

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:

Top