diff options
| author | Eduardo Julian | 2022-07-28 17:39:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-28 17:39:01 -0400 |
| commit | a4b64bf1cdf47160b6b615d2c6493039abfd7a94 (patch) | |
| tree | 3fe8c149d9cad89bbf067c736d196260203d1a01 /stdlib/source/test/aedifex/repository | |
| parent | a4847190df926d35f7ece97da50a2a8b1462a24f (diff) | |
Extracted unit-testing machinery into its own module.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/repository/local.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux index 8eadfd24c..811a8e4e9 100644 --- a/stdlib/source/test/aedifex/repository/local.lux +++ b/stdlib/source/test/aedifex/repository/local.lux @@ -1,7 +1,6 @@ (.require [library [lux (.except) - ["_" test (.only Test)] [abstract [monad (.only do)]] [control @@ -19,7 +18,9 @@ ["[0]" random]] [world ["[0]" file] - ["[0]" program]]]] + ["[0]" program]] + ["_" test (.only Test) + ["[0]" unit]]]] [\\program ["[0]" /]]) @@ -42,7 +43,7 @@ [before_upload (at repo download uri) _ (at repo upload uri expected) actual (at repo download uri)] - (_.coverage' [/.repository] + (unit.coverage [/.repository] (and (case before_upload {try.#Success _} false {try.#Failure _} true) |