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/project.lux | 52 +++++++++++++++++-----------------
 1 file changed, 26 insertions(+), 26 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index c191a5f83..748ea922d 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -46,10 +46,10 @@
                   (_.for [/.monoid]
                          ($monoid.spec /.equivalence /.monoid ..random))
 
-                  (_.cover [/.file]
-                           (|> /.file
-                               (text#= "")
-                               not))
+                  (_.coverage [/.file]
+                    (|> /.file
+                        (text#= "")
+                        not))
                   (do random.monad
                     [[super_name super_profile] ..profile
                      [dummy_name dummy_profile] (random.only (|>> product.left (text#= super_name) not)
@@ -72,29 +72,29 @@
                                          (/.project dummy_name dummy_profile)
                                          (/.project sub_name (has //.#parents (list super_name) sub_profile)))]]
                     (all _.and
-                         (_.cover [/.profile]
-                                  (and (|> (/.profile project super_name)
-                                           (try#each (# //.equivalence = super_profile))
-                                           (try.else false))
-                                       (|> (/.profile project dummy_name)
-                                           (try#each (# //.equivalence = dummy_profile))
-                                           (try.else false))
-                                       (|> (/.profile project sub_name)
-                                           (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile)))
-                                           (try.else false))))
-                         (_.cover [/.unknown_profile]
-                                  (case (/.profile project fake_name)
-                                    {try.#Success _}
-                                    false
+                         (_.coverage [/.profile]
+                           (and (|> (/.profile project super_name)
+                                    (try#each (# //.equivalence = super_profile))
+                                    (try.else false))
+                                (|> (/.profile project dummy_name)
+                                    (try#each (# //.equivalence = dummy_profile))
+                                    (try.else false))
+                                (|> (/.profile project sub_name)
+                                    (try#each (# //.equivalence = (# //.monoid composite sub_profile super_profile)))
+                                    (try.else false))))
+                         (_.coverage [/.unknown_profile]
+                           (case (/.profile project fake_name)
+                             {try.#Success _}
+                             false
 
-                                    {try.#Failure error}
-                                    (exception.match? /.unknown_profile error)))
-                         (_.cover [/.circular_dependency]
-                                  (case (/.profile circular sub_name)
-                                    {try.#Success _}
-                                    false
+                             {try.#Failure error}
+                             (exception.match? /.unknown_profile error)))
+                         (_.coverage [/.circular_dependency]
+                           (case (/.profile circular sub_name)
+                             {try.#Success _}
+                             false
 
-                                    {try.#Failure error}
-                                    (exception.match? /.circular_dependency error)))
+                             {try.#Failure error}
+                             (exception.match? /.circular_dependency error)))
                          ))
                   ))))
-- 
cgit v1.2.3