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).

---
 .../compositor/generation/reference.lux            | 34 +++++++++++-----------
 1 file changed, 17 insertions(+), 17 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/reference.lux')

diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux
index df9482058..f0893573f 100644
--- a/stdlib/source/specification/compositor/generation/reference.lux
+++ b/stdlib/source/specification/compositor/generation/reference.lux
@@ -29,31 +29,31 @@
   (do r.monad
     [name ..symbol
      expected r.safe_frac]
-    (_.test "Definitions."
-            (|> (define name (synthesis.f64 expected))
-                (pipe.case
-                  {try.#Success actual}
-                  (f.= expected (as Frac actual))
+    (_.property "Definitions."
+      (|> (define name (synthesis.f64 expected))
+          (pipe.case
+            {try.#Success actual}
+            (f.= expected (as Frac actual))
 
-                  {try.#Failure _}
-                  false)))))
+            {try.#Failure _}
+            false)))))
 
 (def: (variable run)
   (-> Runner Test)
   (do [! r.monad]
     [register (|> r.nat (# ! each (n.% 100)))
      expected r.safe_frac]
-    (_.test "Local variables."
-            (|> (synthesis.branch/let [(synthesis.f64 expected)
-                                       register
-                                       (synthesis.variable/local register)])
-                (run "variable")
-                (pipe.case
-                  {try.#Success actual}
-                  (f.= expected (as Frac actual))
+    (_.property "Local variables."
+      (|> (synthesis.branch/let [(synthesis.f64 expected)
+                                 register
+                                 (synthesis.variable/local register)])
+          (run "variable")
+          (pipe.case
+            {try.#Success actual}
+            (f.= expected (as Frac actual))
 
-                  {try.#Failure _}
-                  false)))))
+            {try.#Failure _}
+            false)))))
 
 (def: .public (spec runner definer)
   (-> Runner Definer Test)
-- 
cgit v1.2.3