From 35f645aefaafb9f69caffeca35375a3cd71d36b9 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Sun, 6 Mar 2005 20:38:27 +0000
Subject: [PATCH] Add warning message about floating point over/underflow

---
 ansi-tests/random-type-prop-tests.lsp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ansi-tests/random-type-prop-tests.lsp b/ansi-tests/random-type-prop-tests.lsp
index 3faba645..1a08430c 100644
--- a/ansi-tests/random-type-prop-tests.lsp
+++ b/ansi-tests/random-type-prop-tests.lsp
@@ -181,6 +181,8 @@
 
 ;;; trig, hyperbolic functions here
 
+;;; WARNING -- these tests may cause floating point overflow/underflow
+;;; Ignore those failures
 (def-type-prop-test *.1 '* '(integer integer) 2)
 (def-type-prop-test *.2 '* nil 1 :rest-type 'integer :maxargs 4)
 (def-type-prop-test *.3 '* nil 2 :rest-type 'integer :maxargs 10)
@@ -200,11 +202,12 @@
 (def-type-prop-test \-.5 '- '(number number) 2 :test #'approx=)
 (def-type-prop-test \-.6 '- '(number) 1)
 
+;;; WARNING -- these tests may cause floating point overflow/underflow
+;;; Ignore those failures
 (def-type-prop-test /.1 '/ '((and integer (not (satisfies zerop)))) 1)
 (def-type-prop-test /.2 '/ '((and rational (not (satisfies zerop)))) 1)
 (def-type-prop-test /.3 '/ '((and real (not (satisfies zerop)))) 1)
 (def-type-prop-test /.4 '/ '((and complex (not (satisfies zerop)))) 1)
-
 (def-type-prop-test /.5 '/ '(integer) 2 :maxargs 6 :rest-type '(and integer (not (satisfies zerop))))
 (def-type-prop-test /.6 '/ '(rational) 2 :maxargs 6 :rest-type '(and rational (not (satisfies zerop))))
 (def-type-prop-test /.7 '/ '(real) 2 :maxargs 6 :rest-type '(and real (not (satisfies zerop)))
-- 
GitLab