diff options
| author | Eduardo Julian | 2022-11-07 02:48:02 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-07 02:48:02 -0400 |
| commit | 13c594758482bac0a7550bcb89cfeda8c5f0a1f3 (patch) | |
| tree | 251236c17f3fe0fbd7b302d4f143e51a85539cf3 /stdlib/source/specification | |
| parent | ae4c0a4746d59b552ebeba166a43ce756dd265af (diff) | |
Added support for inline testing.
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! + )))))) |