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 71024f4d0..f6224dd0b 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/build.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux @@ -15,11 +15,11 @@ [\\program ["[0]" /]]) -(def: .public random +(def .public random (Random /.Build) random.nat) -(def: .public 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 ae1ffb7a5..c24a06f5a 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/stamp.lux @@ -20,14 +20,14 @@ ["[1][0]" time] ["[1][0]" build]]) -(def: .public random +(def .public random (Random /.Stamp) (all random.and $//time.random $//build.random )) -(def: .public 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 a26532ce1..3b6136ce9 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/time.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/time.lux @@ -18,11 +18,11 @@ ["$[0]" /// ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Time) $///time.random) -(def: .public 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 c5c8f0e71..d2a3e01e4 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version.lux @@ -20,7 +20,7 @@ ["[1][0]" type] ["[1][0]" time]]) -(def: .public random +(def .public random (Random /.Version) (all random.and $///type.random @@ -28,7 +28,7 @@ $///time.random )) -(def: .public 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 5fcef9a0c..0c63a2215 100644 --- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux +++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux @@ -27,7 +27,7 @@ ["[1][0]" stamp] ["[1][0]" time]]]]) -(def: .public random +(def .public random (Random /.Value) (all random.and (random.alphabetic 5) @@ -35,7 +35,7 @@ $///stamp.random) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Value]) |