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

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/test.lux b/stdlib/source/documentation/lux/test.lux
index 295003e1d..ade8f549f 100644
--- a/stdlib/source/documentation/lux/test.lux
+++ b/stdlib/source/documentation/lux/test.lux
@@ -41,9 +41,9 @@
   "Check that a condition is #1, and fail with the given message otherwise."
   [(assertion message condition)])
 
-(documentation: /.test
+(documentation: /.property
   "Check that a condition is #1, and fail with the given message otherwise."
-  [(test message condition)])
+  [(property message condition)])
 
 (documentation: /.lifted
   ""
@@ -68,19 +68,19 @@
           \n "WARNING: This procedure is only meant to be used in (program: ...) forms.")
   [(run! test)])
 
-(documentation: /.cover'
+(documentation: /.coverage'
   (format "Specifies a test as covering one or more definitions."
           \n "Adds to the test tally information to track which definitions have been tested.")
-  [(cover' [definition/0 definition/1 ,,, definition/N]
-           (is Bit
-               (some "computation")))])
+  [(coverage' [definition/0 definition/1 ,,, definition/N]
+     (is Bit
+         (some "computation")))])
 
-(documentation: /.cover
+(documentation: /.coverage
   (format "Specifies a test as covering one or more definitions."
           \n "Adds to the test tally information to track which definitions have been tested.")
-  [(cover [definition/0 definition/1 ,,, definition/N]
-          (is Bit
-              (some "computation")))])
+  [(coverage [definition/0 definition/1 ,,, definition/N]
+     (is Bit
+         (some "computation")))])
 
 (documentation: /.for
   (format "Specifies a context for tests as covering one or more definitions."
@@ -112,14 +112,14 @@
              ..context
              ..failure
              ..assertion
-             ..test
+             ..property
              ..lifted
              ..Seed
              ..seed
              ..times
              ..run!
-             ..cover'
-             ..cover
+             ..coverage'
+             ..coverage
              ..for
              ..covering
              ..in_parallel
-- 
cgit v1.2.3