diff --git a/ansi-tests/random-int-form.lsp b/ansi-tests/random-int-form.lsp index 5f9cc192bc4eb5067a7096fb2f335843cb103eff..b69626590464d0be1593d7f02b56a3952f52de30 100644 --- a/ansi-tests/random-int-form.lsp +++ b/ansi-tests/random-int-form.lsp @@ -1134,6 +1134,10 @@ when (typep x (cons 'and (cddr type))) return x finally (error "Cannot generate random element of ~A" type))) + (not + (assert (cdr type)) + (assert (not (cddr type))) + (make-random-element-of-type `(and t ,type))) (integer (let ((lo (let ((lo (cadr type))) (cond