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.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.