mirrors/ecl
1
Fork 0
mirror of https://gitlab.com/embeddable-common-lisp/ecl.git synced 2026-01-18 23:32:17 -08:00
Code Issues Projects Releases Packages Wiki Activity

tests: #299 test – add invariants

Browse source
This commit is contained in:
Daniel Kochmański 2016-11-04 20:53:46 +01:00
parent 5b203c7e83
commit 4fdaf22bc5
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tests/features/ieee-fp.lsp
View file

@ -51,4 +51,10 @@
;;; URL: https://gitlab.com/embeddable-common-lisp/ecl/issues/299
(test ieee-fp.0003.b299
(finishes (< ext:double-float-negative-infinity 1/3))
(finishes (< ext:double-float-negative-infinity (1+ most-positive-fixnum))))
(finishes (> ext:double-float-negative-infinity 1/3))
(finishes (< 1/3 ext:double-float-negative-infinity))
(finishes (> 1/3 ext:double-float-negative-infinity))
(finishes (< ext:double-float-negative-infinity (1+ most-positive-fixnum)))
(finishes (> ext:double-float-negative-infinity (1+ most-positive-fixnum)))
(finishes (< (1+ most-positive-fixnum) ext:double-float-negative-infinity))
(finishes (> (1+ most-positive-fixnum) ext:double-float-negative-infinity)))