From fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 5 Nov 2022 21:23:20 -0400
Subject: Property-based testing can now log/print successful seeds from run.

---
 stdlib/source/test/lux.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index f00cf0abc..d2af0e624 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -1274,6 +1274,6 @@
                      100)]
       (<| io.io
           _.run!
-          (_.times times)
+          (_.times times _.announce_success)
           ..test
           ))))
-- 
cgit v1.2.3