diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/equivalence.lux | 15 |
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! + )))))) |