From 2b909032e7a0bd10cd7db52067d2fb701bfa95e5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 6 Jul 2021 21:34:21 -0400
Subject: Simplified the API for file-system operations.

---
 stdlib/source/test/aedifex/metadata.lux | 30 ++++++++++++++++++++++++++++--
 1 file changed, 28 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/metadata.lux b/stdlib/source/test/aedifex/metadata.lux
index 33104330b..224ce4d80 100644
--- a/stdlib/source/test/aedifex/metadata.lux
+++ b/stdlib/source/test/aedifex/metadata.lux
@@ -4,14 +4,14 @@
    [abstract
     [monad (#+ do)]]
    [data
-    ["." text]]
+    ["." text ("#\." equivalence)]]
    [math
     ["." random]]]
   ["." / #_
    ["#." artifact]
    ["#." snapshot]
    [//
-    ["@." artifact]]]
+    ["$." artifact]]]
   {#program
    ["." /]})
 
@@ -19,6 +19,32 @@
   Test
   (<| (_.covering /._)
       ($_ _.and
+          (do random.monad
+            [sample $artifact.random]
+            ($_ _.and
+                (_.cover [/.remote_artifact_uri /.remote_project_uri]
+                         (not (text\= (/.remote_artifact_uri sample)
+                                      (/.remote_project_uri sample))))
+                (_.cover [/.local_uri]
+                         (let [remote_artifact_uri (/.remote_artifact_uri sample)
+                               remote_project_uri (/.remote_project_uri sample)]
+                           (and (not (text\= remote_artifact_uri (/.local_uri remote_artifact_uri)))
+                                (not (text\= remote_project_uri (/.local_uri remote_project_uri))))))
+                (_.cover [/.remote_uri]
+                         (let [remote_artifact_uri (/.remote_artifact_uri sample)
+                               remote_project_uri (/.remote_project_uri sample)]
+                           (and (text\= remote_artifact_uri (/.remote_uri remote_artifact_uri))
+                                (text\= remote_project_uri (/.remote_uri remote_project_uri))
+                                (|> remote_artifact_uri
+                                    /.local_uri
+                                    /.remote_uri
+                                    (text\= remote_artifact_uri))
+                                (|> remote_project_uri
+                                    /.local_uri
+                                    /.remote_uri
+                                    (text\= remote_project_uri)))))
+                ))
+          
           /artifact.test
           /snapshot.test
           )))
-- 
cgit v1.2.3