From a4b64bf1cdf47160b6b615d2c6493039abfd7a94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Jul 2022 17:39:01 -0400
Subject: Extracted unit-testing machinery into its own module.

---
 stdlib/source/specification/compositor/generation/case.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index 5e00820b2..6ac785a12 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -101,7 +101,7 @@
   (-> Runner Test)
   (do r.monad
     [value r.safe_frac]
-    (_.property (%.symbol (symbol synthesis.branch/let))
+    (_.test (%.symbol (symbol synthesis.branch/let))
       (|> (synthesis.branch/let [(synthesis.f64 value)
                                  0
                                  (synthesis.variable/local 0)])
@@ -114,7 +114,7 @@
     [on_true r.safe_frac
      on_false (|> r.safe_frac (r.only (|>> (f.= on_true) not)))
      verdict r.bit]
-    (_.property (%.symbol (symbol synthesis.branch/if))
+    (_.test (%.symbol (symbol synthesis.branch/if))
       (|> (synthesis.branch/if [(synthesis.bit verdict)
                                 (synthesis.f64 on_true)
                                 (synthesis.f64 on_false)])
@@ -127,7 +127,7 @@
     [[inputS pathS] ..case
      on_success r.safe_frac
      on_failure (|> r.safe_frac (r.only (|>> (f.= on_success) not)))]
-    (_.property (%.symbol (symbol synthesis.branch/case))
+    (_.test (%.symbol (symbol synthesis.branch/case))
       (|> (synthesis.branch/case
            [inputS
             (all synthesis.path/alt
@@ -243,11 +243,11 @@
 (def (special_spec run)
   (-> Runner Test)
   (all _.and
-       (_.property "==="
+       (_.test "==="
          (and (text#= (synthesis.%path special_path)
                       (synthesis.%path special_pattern_path))
               (at synthesis.path_equivalence = special_path special_pattern_path)))
-       (_.property "CODE"
+       (_.test "CODE"
          (|> special_input
              (run "special_input")
              (pipe.case
@@ -256,7 +256,7 @@
                
                {try.#Failure _}
                false)))
-       (_.property "PATTERN_MATCHING 0"
+       (_.test "PATTERN_MATCHING 0"
          (|> (synthesis.branch/case [special_input
                                      special_path])
              (run "special_path")
@@ -266,7 +266,7 @@
                
                {try.#Failure _}
                false)))
-       (_.property "PATTERN_MATCHING 1"
+       (_.test "PATTERN_MATCHING 1"
          (|> (synthesis.branch/case [special_input
                                      special_pattern_path])
              (run "special_pattern_path")
-- 
cgit v1.2.3