diff options
| author | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-23 20:58:58 -0400 |
| commit | ad1391ea1cdd33167339d25dbff2567f5a8d5c68 (patch) | |
| tree | 7b8c1154e3cdbc9a79fc7c3e468f07544c51f910 /stdlib/source/test/aedifex/repository | |
| parent | 6f1bf11af05bd03183fee7721ac99eca826ca041 (diff) | |
Began work on C++ back-end.
Diffstat (limited to 'stdlib/source/test/aedifex/repository')
| -rw-r--r-- | stdlib/source/test/aedifex/repository/identity.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/aedifex/repository/origin.lux | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux index 8fd54bad8..d82082834 100644 --- a/stdlib/source/test/aedifex/repository/identity.lux +++ b/stdlib/source/test/aedifex/repository/identity.lux @@ -2,8 +2,8 @@ [library [lux (.except) [abstract - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test @@ -24,5 +24,5 @@ (_.for [/.User /.Password /.Identity] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) )))) diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux index e07040106..238e0aad2 100644 --- a/stdlib/source/test/aedifex/repository/origin.lux +++ b/stdlib/source/test/aedifex/repository/origin.lux @@ -2,8 +2,8 @@ [library [lux (.except) [abstract - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random (.only Random)]] [test @@ -24,5 +24,5 @@ (_.for [/.Origin] (all _.and (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) + (equivalenceT.spec /.equivalence ..random)) )))) |