diff options
| author | Eduardo Julian | 2022-12-19 20:56:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-19 20:56:06 -0400 |
| commit | 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb (patch) | |
| tree | 018925b984a788afdd343262010041492978394c /stdlib/source/test/aedifex/hash.lux | |
| parent | c2830c26e55da02ac628be9a220cd824264cdc9e (diff) | |
Added price-action abstraction.
Diffstat (limited to 'stdlib/source/test/aedifex/hash.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/hash.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux index 36326a58f..55cd89bba 100644 --- a/stdlib/source/test/aedifex/hash.lux +++ b/stdlib/source/test/aedifex/hash.lux @@ -4,8 +4,9 @@ [abstract [monad (.only do)] [\\specification - ["$[0]" equivalence] - ["$[0]" codec]]] + ["$[0]" equivalence]] + ["[0]" codec + ["[1]T" \\test]]] [control ["[0]" try] ["[0]" exception]] @@ -70,7 +71,7 @@ )))) (,, (with_template [<codec> <hash>] [(_.for [<codec>] - ($codec.spec /.equivalence <codec> (..random <hash>)))] + (codecT.spec /.equivalence <codec> (..random <hash>)))] [/.sha1_codec /.sha1] [/.md5_codec /.md5] |