From ad1391ea1cdd33167339d25dbff2567f5a8d5c68 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 23 Dec 2022 20:58:58 -0400
Subject: Began work on C++ back-end.

---
 stdlib/source/test/aedifex/dependency/resolution.lux | 6 +++---
 stdlib/source/test/aedifex/dependency/status.lux     | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/aedifex/dependency')

diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 9e67edc86..574f70891 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -3,8 +3,8 @@
   [lux (.except all)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" try]
     ["[0]" exception]
@@ -436,7 +436,7 @@
       (_.for [/.Resolution])
       (.all _.and
             (_.for [/.equivalence]
-                   ($equivalence.spec /.equivalence ..random))
+                   (equivalenceT.spec /.equivalence ..random))
 
             (_.coverage [/.empty]
               (dictionary.empty? /.empty))
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 074394b99..ea13e41c4 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [data
     ["[0]" binary
      ["[1]T" \\test]]]
@@ -35,7 +35,7 @@
       (_.for [/.Status]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
 
                   (do random.monad
                     [payload (binaryT.random 1)]
-- 
cgit v1.2.3