From 7444deb1b80d469280fcb0684d91c13f752a86d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 21:40:29 -0400
Subject: Re-named "_.claim" to "_.cover'".

---
 stdlib/source/test/lux/control/security/capability.lux | 4 ++--
 stdlib/source/test/lux/control/security/policy.lux     | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test/lux/control/security')

diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index b102c6a33..f8f757641 100644
--- a/stdlib/source/test/lux/control/security/capability.lux
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -40,6 +40,6 @@
               (wrap (let [capability (..can-io (function (_ _) (io.io expected)))]
                       (do promise.monad
                         [actual (/.use (/.async capability) [])]
-                        (_.claim [/.async]
-                                 (n.= expected actual)))))
+                        (_.cover' [/.async]
+                                  (n.= expected actual)))))
               )))))
diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux
index 13ad42f3f..6206206e3 100644
--- a/stdlib/source/test/lux/control/security/policy.lux
+++ b/stdlib/source/test/lux/control/security/policy.lux
@@ -78,8 +78,8 @@
          raw-password (random.ascii 10)
          #let [password (:: policy-0 password raw-password)]]
         ($_ _.and
-            (_.with-cover [/.Privacy /.Private
-                           /.Can-Conceal /.Can-Reveal]
+            (_.with-cover [/.Privacy /.Private /.Can-Conceal /.Can-Reveal
+                           /.Safety /.Safe /.Can-Trust /.Can-Distrust]
               ($_ _.and
                   (_.with-cover [/.functor]
                     ($functor.spec (..injection (:: policy-0 can-upgrade)) (..comparison (:: policy-0 can-downgrade)) /.functor))
-- 
cgit v1.2.3