A bug in "Verify"

[Ted Kosan]

The "Verify" procedure is used when the test suite is run, but it can
also be used manually. This is useful for debugging verification code
while it is being developed:

In> Verify(3,3)
Result: True


%mathpiper,name="foo",subtype="automatic_test"

Verify(3, 3);
Verify(4, 4);

%/mathpiper

%output,parent="foo",mpversion="289",preserve="false"
Result: True
. %/output


There was a bug that was recently introduced into "Verify" that caused
it to throw an exception when it was run outside of the test suite:

In> Verify(3, 4)
Result: Exception
Exception: The variable <??verifyFailures> does not have a value assigned to it.

This bug has been fixed in commit 50fe32af7ded32ef343ddf35b01c2f88553ba0ea

Ted