diff options
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 55cd89bba..fcdf07984 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]] + ["[0]" equivalence + ["[1]T" \\test]] ["[0]" codec ["[1]T" \\test]]] [control @@ -42,8 +42,8 @@ (`` (all _.and (_.for [/.equivalence] (all _.and - ($equivalence.spec /.equivalence (..random /.sha1)) - ($equivalence.spec /.equivalence (..random /.md5)) + (equivalenceT.spec /.equivalence (..random /.sha1)) + (equivalenceT.spec /.equivalence (..random /.md5)) )) (_.for [/.data] (all _.and |