diff options
| author | Eduardo Julian | 2021-02-04 01:30:34 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-02-04 01:30:34 -0400 |
| commit | 571d816dfd0b056a1649f5057867abbfa4421f5d (patch) | |
| tree | cccd86f9285bf4956d6b50aea669ad4e9e15ee13 /stdlib/source/test/aedifex | |
| parent | 3d457763e34d4dd1992427b3918b351ac684adb7 (diff) | |
Updates for Lua compiler.
Diffstat (limited to 'stdlib/source/test/aedifex')
| -rw-r--r-- | stdlib/source/test/aedifex/artifact/versioning.lux | 24 |
1 files changed, 17 insertions, 7 deletions
diff --git a/stdlib/source/test/aedifex/artifact/versioning.lux b/stdlib/source/test/aedifex/artifact/versioning.lux index c0704440e..ab0e94236 100644 --- a/stdlib/source/test/aedifex/artifact/versioning.lux +++ b/stdlib/source/test/aedifex/artifact/versioning.lux @@ -13,14 +13,17 @@ [math ["." random (#+ Random)]]] {#program - ["." /]}) + ["." /]} + ["$." // #_ + ["#." snapshot + ["#/." version]]]) (def: #export random (Random /.Versioning) ($_ random.and + $//snapshot.random random.instant - random.nat - (random.list 5 (random.ascii/lower_alpha 3)) + (random.list 5 $//snapshot/version.random) )) (def: #export test @@ -32,12 +35,19 @@ ($equivalence.spec /.equivalence ..random)) (do random.monad - [expected ..random - version (random.ascii/upper_alpha 3)] + [expected ..random] (_.cover [/.format /.parser] (|> expected - (/.format version) - (<xml>.run (/.parser version)) + /.format + list + (<xml>.run /.parser) (try\map (\ /.equivalence = expected)) (try.default false)))) + (_.cover [/.init] + (|> /.init + /.format + list + (<xml>.run /.parser) + (try\map (\ /.equivalence = /.init)) + (try.default false))) ))) |