From 4fdaf22bc5968ae0fc7e1bf8b4bf98d1b5597d94 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kochma=C5=84ski?= Date: Fri, 4 Nov 2016 20:53:46 +0100 Subject: [PATCH] =?UTF-8?q?tests:=20#299=20test=20=E2=80=93=20add=20invari?= =?UTF-8?q?ants?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/tests/features/ieee-fp.lsp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/tests/features/ieee-fp.lsp b/src/tests/features/ieee-fp.lsp index 9f64859b8..c6899d311 100644 --- a/src/tests/features/ieee-fp.lsp +++ b/src/tests/features/ieee-fp.lsp @@ -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)))