Show for which parameters the test failed.

diff --git a/tests/runtime/test-flonum.scm b/tests/runtime/test-flonum.scm
index 6a2146fcb8585f0bc9b0da7be68496f211c40c34..91b43ca21be38a91fe8c999d26ec45b0a5ee87e0 100644 (file)
--- a/tests/runtime/test-flonum.scm
+++ b/tests/runtime/test-flonum.scm
@@ -618,33 +618,36 @@ USA.
        (map (lambda (x)
               (map (lambda (y)
                      (lambda ()
-                       (assert-eqv
-                        (yes-traps (lambda () (safe-compare x y)))
-                        (if (or (flo:nan? x) (flo:nan? y))
-                            #f
-                            (unsafe-compare x y)))
-                       (assert-eqv
-                        (yes-traps (lambda () (not (safe-compare x y))))
-                        (if (or (flo:nan? x) (flo:nan? y))
-                            #t
-                            (not (unsafe-compare x y))))
-                       (if (safe-compare x y)
-                           (begin
-                             (assert-true (not (flo:nan? x)))
-                             (assert-true (not (flo:nan? y)))
-                             (assert-true (unsafe-compare x y))))
-                       (if (not (safe-compare x y))
-                           (begin
-                             (assert-true
-                              (or (flo:nan? x)
-                                  (flo:nan? y)
-                                  (not (unsafe-compare x y))))))
-                       (if (not (or (flo:nan? x) (flo:nan? y)))
-                           (begin
-                             (if (unsafe-compare x y)
-                                 (assert-true (safe-compare x y)))
-                             (if (not (unsafe-compare x y))
-                                 (assert-false (safe-compare x y)))))))
+                       (with-test-properties
+                          (lambda ()
+                            (assert-eqv
+                             (yes-traps (lambda () (safe-compare x y)))
+                             (if (or (flo:nan? x) (flo:nan? y))
+                                 #f
+                                 (unsafe-compare x y)))
+                            (assert-eqv
+                             (yes-traps (lambda () (not (safe-compare x y))))
+                             (if (or (flo:nan? x) (flo:nan? y))
+                                 #t
+                                 (not (unsafe-compare x y))))
+                            (if (safe-compare x y)
+                                (begin
+                                  (assert-true (not (flo:nan? x)))
+                                  (assert-true (not (flo:nan? y)))
+                                  (assert-true (unsafe-compare x y))))
+                            (if (not (safe-compare x y))
+                                (begin
+                                  (assert-true
+                                   (or (flo:nan? x)
+                                       (flo:nan? y)
+                                       (not (unsafe-compare x y))))))
+                            (if (not (or (flo:nan? x) (flo:nan? y)))
+                                (begin
+                                  (if (unsafe-compare x y)
+                                      (assert-true (safe-compare x y)))
+                                  (if (not (unsafe-compare x y))
+                                      (assert-false (safe-compare x y))))))
+                        'SEED (list x y))))
                    cases))
             cases)))))