diff options
| author | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-04-09 03:03:46 -0400 |
| commit | 04c7f49a732380a2b9f72b1b937171b341c24323 (patch) | |
| tree | d54c92bf10665bba0ec4643746becce569604fb2 /stdlib/source/test/aedifex/cli.lux | |
| parent | f11afb9d2dfe2d59b41e8056eb8c4ae65268415f (diff) | |
Better names for testing macros (plus better indentation).
Diffstat (limited to 'stdlib/source/test/aedifex/cli.lux')
| -rw-r--r-- | stdlib/source/test/aedifex/cli.lux | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index c02ae8c4f..4f4de026a 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -72,35 +72,35 @@ Test (do random.monad [expected ..command] - (_.test "Without profile." - (|> expected - ..format - (cli.result /.command) - (pipe.case - {try.#Success [names actual]} - (and (# (list.equivalence text.equivalence) = (list //.default) names) - (# /.equivalence = expected actual)) - - {try.#Failure error} - false))))) + (_.property "Without profile." + (|> expected + ..format + (cli.result /.command) + (pipe.case + {try.#Success [names actual]} + (and (# (list.equivalence text.equivalence) = (list //.default) names) + (# /.equivalence = expected actual)) + + {try.#Failure error} + false))))) (def: with_profile Test (do random.monad [expected_profile (random.alphabetic 1) expected_command ..command] - (_.test "With profile." - (|> expected_command - ..format - (partial_list "with" expected_profile) - (cli.result /.command) - (pipe.case - {try.#Success [actual_profile actual_command]} - (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) - (# /.equivalence = expected_command actual_command)) - - {try.#Failure error} - false))))) + (_.property "With profile." + (|> expected_command + ..format + (partial_list "with" expected_profile) + (cli.result /.command) + (pipe.case + {try.#Success [actual_profile actual_command]} + (and (# (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) + (# /.equivalence = expected_command actual_command)) + + {try.#Failure error} + false))))) (def: .public test Test |