Rename the assert procedure VALUE-ASSERT, like PREDICATE-ASSERTION.
(define (assert-integral-quotient n d q r)
n d r ;ignore
- (assert integer? "integer" q))
+ (value-assert integer? "integer" q))
(define-test 'INTEGRAL-QUOTIENT-TESTS:CEILING
(lambda () (randomly-test-properties ceiling/ assert-integral-quotient)))
(condition/restarts condition)
(list 'FAILURE failure)))
\f
-(define-for-tests (assert predicate description value . properties)
+(define-for-tests (value-assert predicate description value . properties)
(%assert predicate value description properties))
(define-for-tests (predicate-assertion predicate description)