Removed the (ultimately redundant) on_stop function for actors.

1 files changed, 8 insertions, 3 deletions

diff --git a/stdlib/source/test/aedifex/artifact/build.lux b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
index d0920b44c..e3fdcab62 100644
--- a/stdlib/source/test/aedifex/artifact/build.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/build.lux
@@ -11,23 +11,28 @@
     [parser
      ["<.>" xml]]]
    [math
-    ["." random]]]
+    ["." random (#+ Random)]]]
   {#program
    ["." /]})
 
+(def: #export random
+  (Random /.Build)
+  random.nat)
+
 (def: #export test
   Test
   (<| (_.covering /._)
       (_.for [/.Build]
              ($_ _.and
                  (_.for [/.equivalence]
-                        ($equivalence.spec /.equivalence random.nat))
+                        ($equivalence.spec /.equivalence ..random))
                  
                  (do random.monad
-                   [expected random.nat]
+                   [expected ..random]
                    (_.cover [/.format /.parser]
                             (|> expected
                                 /.format
+                                list
                                 (<xml>.run /.parser)
                                 (try\map (\ /.equivalence = expected))
                                 (try.default false))))