aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-11-07 02:48:02 -0400
committerEduardo Julian2022-11-07 02:48:02 -0400
commit13c594758482bac0a7550bcb89cfeda8c5f0a1f3 (patch)
tree251236c17f3fe0fbd7b302d4f143e51a85539cf3 /stdlib/source/specification
parentae4c0a4746d59b552ebeba166a43ce756dd265af (diff)
Added support for inline testing.
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/equivalence.lux15
1 files changed, 10 insertions, 5 deletions
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!
+ ))))))