diff options
author | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
commit | ae56acf791c2ed9bd5865f85fffa00b025d310fe (patch) | |
tree | d02c6f67240b27c578b7e8ca17285824eae56497 /stdlib/source/test/aedifex/artifact/build.lux | |
parent | 71de092a045dc70ab1c9eead477cf1512b144a87 (diff) |
Removed the (ultimately redundant) on_stop function for actors.
Diffstat (limited to 'stdlib/source/test/aedifex/artifact/build.lux')
-rw-r--r-- | stdlib/source/test/aedifex/artifact/build.lux | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/stdlib/source/test/aedifex/artifact/build.lux b/stdlib/source/test/aedifex/artifact/build.lux deleted file mode 100644 index d0920b44c..000000000 --- a/stdlib/source/test/aedifex/artifact/build.lux +++ /dev/null @@ -1,34 +0,0 @@ -(.module: - [lux #* - ["_" test (#+ Test)] - [abstract - [monad (#+ do)] - {[0 #spec] - [/ - ["$." equivalence]]}] - [control - ["." try ("#\." functor)] - [parser - ["<.>" xml]]] - [math - ["." random]]] - {#program - ["." /]}) - -(def: #export test - Test - (<| (_.covering /._) - (_.for [/.Build] - ($_ _.and - (_.for [/.equivalence] - ($equivalence.spec /.equivalence random.nat)) - - (do random.monad - [expected random.nat] - (_.cover [/.format /.parser] - (|> expected - /.format - (<xml>.run /.parser) - (try\map (\ /.equivalence = expected)) - (try.default false)))) - )))) |