diff options
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/snapshot')
5 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux index 55bdc0a42..e613c2f92 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["." /]]) -(def: #export random +(def: .public random (Random /.Build) random.nat) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Build] diff --git a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux index deea0e954..2a2c19e4f 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["#." time] ["#." build]]) -(def: #export random +(def: .public random (Random /.Stamp) ($_ random.and $//time.random $//build.random )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Stamp]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/time.lux b/stdlib/source/test/aedifex/artifact/snapshot/time.lux index 05e575e64..a658d3e29 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -17,11 +17,11 @@ ["$." /// #_ ["#." time]]) -(def: #export random +(def: .public random (Random /.Time) $///time.random) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Time]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version.lux b/stdlib/source/test/aedifex/artifact/snapshot/version.lux index c63dc4f51..c5ec63398 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["#." type] ["#." time]]) -(def: #export random +(def: .public random (Random /.Version) ($_ random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Version]) diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux index cfd8a7f17..ada815059 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -28,7 +28,7 @@ ["#." stamp] ["#." time]]]]) -(def: #export random +(def: .public random (Random /.Value) ($_ random.and (random.ascii/alpha 5) @@ -36,7 +36,7 @@ $///stamp.random) )) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Value]) |