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/metadata/artifact.lux | 6 +++---
 stdlib/source/test/aedifex/metadata/snapshot.lux | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/metadata/artifact.lux b/stdlib/source/test/aedifex/metadata/artifact.lux
index af0474e2f..7d640282a 100644
--- a/stdlib/source/test/aedifex/metadata/artifact.lux
+++ b/stdlib/source/test/aedifex/metadata/artifact.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe]
     ["[0]" try (.use "[1]#[0]" functor)]
@@ -84,7 +84,7 @@
                                                   (maybe.else ""))]]]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              
              (do random.monad
                [expected ..random]
diff --git a/stdlib/source/test/aedifex/metadata/snapshot.lux b/stdlib/source/test/aedifex/metadata/snapshot.lux
index d8c1bbf92..63d8832b9 100644
--- a/stdlib/source/test/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/test/aedifex/metadata/snapshot.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [control
     ["[0]" maybe]
     ["[0]" try (.use "[1]#[0]" functor)]
@@ -98,7 +98,7 @@
          .let [artifact (the /.#artifact expected)]]
         (all _.and
              (_.for [/.equivalence]
-                    ($equivalence.spec /.equivalence ..random))
+                    (equivalenceT.spec /.equivalence ..random))
              
              (_.coverage [/.format /.parser]
                (|> expected
-- 
cgit v1.2.3