%mathpiper,def="RandVerifyArithmetic"

RandVerifyArithmetic(_n)<--
[
 While(n>0)
 [
   n--;
   VerifyArithmetic(FloorN(300*Random()),FloorN(80*Random()),FloorN(90*Random()));
 ];
];

%/mathpiper




%mathpiper_docs,name="RandVerifyArithmetic",categories="Programmer Functions;Testing"
*CMD RandVerifyArithmetic --- Special purpose arithmetic verifiers
*STD
*CALL
	RandVerifyArithmetic(n)

*PARMS

{n} -- integer arguments

*DESC

{RandVerifyArithmetic(n)} calls {VerifyArithmetic} with
random values, {n} times.

*E.G.

In> RandVerifyArithmetic(4)
Result: True;

*SEE Verify, VerifyArithmetic, RandVerifyArithmetic, VerifyDiv, CanProve, KnownFailure, TestMathPiper, LogicVerify, LogicTest

%/mathpiper_docs