Skip to content
Snippets Groups Projects
Commit f7f7c5c8 authored by pfdietz's avatar pfdietz
Browse files

Added floating point overflow, underflow tests for EXP

parent 6f779669
No related branches found
No related tags found
No related merge requests found
...@@ -39,4 +39,44 @@ ...@@ -39,4 +39,44 @@
(1.0s0 1.0f0 1.0d0 1.0l0)) (1.0s0 1.0f0 1.0d0 1.0l0))
;;; FIXME ;;; FIXME
;;; Add more tests here for floating point accuracy ;;; Add more tests here for floating point accuracy
\ No newline at end of file
(deftest exp.error.4
(signals-error (exp (+ (log most-positive-short-float) 100))
floating-point-overflow)
t)
(deftest exp.error.5
(signals-error (exp (+ (log most-positive-single-float) 100))
floating-point-overflow)
t)
(deftest exp.error.6
(signals-error (exp (+ (log most-positive-double-float) 100))
floating-point-overflow)
t)
(deftest exp.error.7
(signals-error (exp (+ (log most-positive-long-float) 100))
floating-point-overflow)
t)
(deftest exp.error.8
(signals-error (exp (- (log least-positive-short-float) 100))
floating-point-underflow)
t)
(deftest exp.error.9
(signals-error (exp (- (log least-positive-single-float) 100))
floating-point-underflow)
t)
(deftest exp.error.10
(signals-error (exp (- (log least-positive-double-float) 100))
floating-point-underflow)
t)
(deftest exp.error.11
(signals-error (exp (- (log least-positive-double-float) 100))
floating-point-underflow)
t)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment