From 04c7f49a732380a2b9f72b1b937171b341c24323 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 9 Apr 2022 03:03:46 -0400
Subject: Better names for testing macros (plus better indentation).

---
 stdlib/source/test/aedifex/cli.lux | 46 +++++++++++++++++++-------------------
 1 file changed, 23 insertions(+), 23 deletions(-)

(limited to 'stdlib/source/test/aedifex/cli.lux')

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
-- 
cgit v1.2.3