diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux index 0db6e238e..e77f7489b 100644 --- a/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/meta/compiler/meta/archive/unit.lux @@ -5,11 +5,14 @@ [library [lux (.except) [abstract + [monad (.only do)] ["[0]" equivalence ["[1]T" \\test]] ["[0]" hash ["[1]T" \\test]]] [data + ["[0]" bit (.use "[1]#[0]" equivalence)] + ["[0]" text (.use "[1]#[0]" equivalence)] [collection ["[0]" set]]] [math @@ -29,7 +32,11 @@ (def .public test Test (<| (_.covering /._) - (_.for [/.ID]) + (do random.monad + [left ..random + right ..random]) + (_.for [/.ID + /.#module /.#artifact]) (all _.and (_.for [/.equivalence] (equivalenceT.spec /.equivalence ..random)) @@ -38,4 +45,7 @@ (_.coverage [/.none] (set.empty? /.none)) + (_.coverage [/.format] + (bit#= (of /.equivalence = left right) + (text#= (/.format left) (/.format right)))) ))) |