VerificationTest

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

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 OptionsDetails and Options

ExamplesExamplesopen allclose all

Basic Examples  (3)Basic Examples  (3)

Test whether the input evaluates to True:

In[1]:=
Click for copyable input
Out[1]=

Test whether the input evaluates to the expected output:

In[1]:=
Click for copyable input
Out[1]=

Input evaluates to the expected output but gives messages:

Click for copyable input
Out[1]=

Add the expected message:

In[2]:=
Click for copyable input
Out[2]=
Introduced in 2014
(10.0)