diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/snapshot/build.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/snapshot/build.lux | 58 | 
1 files changed, 29 insertions, 29 deletions
| diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 0f3ca9799..b03fe7f10 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -1,19 +1,19 @@  (.using -  [library -   [lux "*" -    ["_" test {"+" Test}] -    [abstract -     [monad {"+" do}] -     [\\specification -      ["$[0]" equivalence]]] -    [control -     ["[0]" try ("[1]#[0]" functor)] -     [parser -      ["<[0]>" xml]]] -    [math -     ["[0]" random {"+" Random}]]]] -  [\\program -   ["[0]" /]]) + [library +  [lux "*" +   ["_" test {"+" Test}] +   [abstract +    [monad {"+" do}] +    [\\specification +     ["$[0]" equivalence]]] +   [control +    ["[0]" try ("[1]#[0]" functor)] +    [parser +     ["<[0]>" xml]]] +   [math +    ["[0]" random {"+" Random}]]]] + [\\program +  ["[0]" /]])  (def: .public random    (Random /.Build) @@ -23,17 +23,17 @@    Test    (<| (_.covering /._)        (_.for [/.Build] -             ($_ _.and -                 (_.for [/.equivalence] -                        ($equivalence.spec /.equivalence ..random)) -                  -                 (do random.monad -                   [expected ..random] -                   (_.cover [/.format /.parser] -                            (|> expected -                                /.format -                                list -                                (<xml>.result /.parser) -                                (try#each (# /.equivalence = expected)) -                                (try.else false)))) -                 )))) +             (all _.and +                  (_.for [/.equivalence] +                         ($equivalence.spec /.equivalence ..random)) +                   +                  (do random.monad +                    [expected ..random] +                    (_.cover [/.format /.parser] +                             (|> expected +                                 /.format +                                 list +                                 (<xml>.result /.parser) +                                 (try#each (# /.equivalence = expected)) +                                 (try.else false)))) +                  )))) | 
