/[gcl]/gcl/ansi-tests/random-type-prop-tests.lsp
ViewVC logotype

Diff of /gcl/ansi-tests/random-type-prop-tests.lsp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by pfdietz, Sun Mar 6 20:34:49 2005 UTC revision 1.2 by pfdietz, Sun Mar 6 20:38:27 2005 UTC
# Line 181  Line 181 
181    
182  ;;; trig, hyperbolic functions here  ;;; trig, hyperbolic functions here
183    
184    ;;; WARNING -- these tests may cause floating point overflow/underflow
185    ;;; Ignore those failures
186  (def-type-prop-test *.1 '* '(integer integer) 2)  (def-type-prop-test *.1 '* '(integer integer) 2)
187  (def-type-prop-test *.2 '* nil 1 :rest-type 'integer :maxargs 4)  (def-type-prop-test *.2 '* nil 1 :rest-type 'integer :maxargs 4)
188  (def-type-prop-test *.3 '* nil 2 :rest-type 'integer :maxargs 10)  (def-type-prop-test *.3 '* nil 2 :rest-type 'integer :maxargs 10)
# Line 200  Line 202 
202  (def-type-prop-test \-.5 '- '(number number) 2 :test #'approx=)  (def-type-prop-test \-.5 '- '(number number) 2 :test #'approx=)
203  (def-type-prop-test \-.6 '- '(number) 1)  (def-type-prop-test \-.6 '- '(number) 1)
204    
205    ;;; WARNING -- these tests may cause floating point overflow/underflow
206    ;;; Ignore those failures
207  (def-type-prop-test /.1 '/ '((and integer (not (satisfies zerop)))) 1)  (def-type-prop-test /.1 '/ '((and integer (not (satisfies zerop)))) 1)
208  (def-type-prop-test /.2 '/ '((and rational (not (satisfies zerop)))) 1)  (def-type-prop-test /.2 '/ '((and rational (not (satisfies zerop)))) 1)
209  (def-type-prop-test /.3 '/ '((and real (not (satisfies zerop)))) 1)  (def-type-prop-test /.3 '/ '((and real (not (satisfies zerop)))) 1)
210  (def-type-prop-test /.4 '/ '((and complex (not (satisfies zerop)))) 1)  (def-type-prop-test /.4 '/ '((and complex (not (satisfies zerop)))) 1)
   
211  (def-type-prop-test /.5 '/ '(integer) 2 :maxargs 6 :rest-type '(and integer (not (satisfies zerop))))  (def-type-prop-test /.5 '/ '(integer) 2 :maxargs 6 :rest-type '(and integer (not (satisfies zerop))))
212  (def-type-prop-test /.6 '/ '(rational) 2 :maxargs 6 :rest-type '(and rational (not (satisfies zerop))))  (def-type-prop-test /.6 '/ '(rational) 2 :maxargs 6 :rest-type '(and rational (not (satisfies zerop))))
213  (def-type-prop-test /.7 '/ '(real) 2 :maxargs 6 :rest-type '(and real (not (satisfies zerop)))  (def-type-prop-test /.7 '/ '(real) 2 :maxargs 6 :rest-type '(and real (not (satisfies zerop)))

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26