aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/metadata
diff options
context:
space:
mode:
authorEduardo Julian2022-12-23 20:58:58 -0400
committerEduardo Julian2022-12-23 20:58:58 -0400
commitad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch)
tree7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/test/aedifex/metadata
parent6f1bf11af05bd03183fee7721ac99eca826ca041 (diff)
Began work on C++ back-end.
Diffstat (limited to 'stdlib/source/test/aedifex/metadata')
-rw-r--r--stdlib/source/test/aedifex/metadata/artifact.lux6
-rw-r--r--stdlib/source/test/aedifex/metadata/snapshot.lux6
2 files changed, 6 insertions, 6 deletions
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