From 13c594758482bac0a7550bcb89cfeda8c5f0a1f3 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 7 Nov 2022 02:48:02 -0400
Subject: Added support for inline testing.

---
 stdlib/source/specification/lux/abstract/equivalence.lux | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/specification')

diff --git a/stdlib/source/specification/lux/abstract/equivalence.lux b/stdlib/source/specification/lux/abstract/equivalence.lux
index cc760886f..439b33093 100644
--- a/stdlib/source/specification/lux/abstract/equivalence.lux
+++ b/stdlib/source/specification/lux/abstract/equivalence.lux
@@ -18,8 +18,13 @@
     [left random
      right random]
     (<| (_.for [/.Equivalence])
-        (all _.and
-             (_.test "Reflexivity"
-               (/#= left left))
-             (_.test "Symmetry"
-               (bit#= (/#= left right) (/#= right left)))))))
+        (_.coverage [/.=]
+          (let [reflexivity!
+                (/#= left left)
+
+                symmetry!
+                (bit#= (/#= left right)
+                       (/#= right left))]
+            (and reflexivity!
+                 symmetry!
+                 ))))))
-- 
cgit v1.2.3