diff options
| author | Eduardo Julian | 2020-12-29 23:29:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-29 23:29:54 -0400 |
| commit | 02d27daeacac74785c2b0f4d1ce03d432377a36e (patch) | |
| tree | 5129c496d136deb57880f202153e96f4f585e355 /stdlib/source/test/aedifex/metadata/snapshot.lux | |
| parent | 832a9361b632331e82a64c07baa560487ca8abde (diff) | |
Unified repository abstraction for Aedifex.
Diffstat (limited to 'stdlib/source/test/aedifex/metadata/snapshot.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/metadata/snapshot.lux | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux index c1725f55a..a2f0b65db 100644 --- a/stdlib/source/test/aedifex/metadata/snapshot.lux +++ b/stdlib/source/test/aedifex/metadata/snapshot.lux @@ -24,8 +24,8 @@ [macro ["." code]]] ["$." /// #_ - [artifact - ["#." type]]] + ["#." artifact + ["#/." type]]] {#program ["." /]}) @@ -55,15 +55,13 @@ ($_ random.and ..random_instant random.nat - (random.list 5 $///type.random) + (random.list 5 $///artifact/type.random) )) (def: #export random (Random /.Metadata) ($_ random.and - (random.ascii/alpha 5) - (random.ascii/alpha 5) - (random.ascii/alpha 5) + $///artifact.random ..random_versioning)) (def: #export test @@ -75,9 +73,9 @@ ($equivalence.spec /.equivalence ..random)) (do random.monad [expected ..random] - (_.cover [/.write /.parser] + (_.cover [/.format /.parser] (|> expected - /.write + /.format (<xml>.run /.parser) (try\map (\ /.equivalence = expected)) (try.default false)))) |