diff options
author | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-11-28 21:40:29 -0400 |
commit | 7444deb1b80d469280fcb0684d91c13f752a86d6 (patch) | |
tree | 132f8aa480dad400c20971f5e085876da8772b75 /stdlib/source/test/lux/control/security | |
parent | a02b7bf8ff358ccfa35b03272d28537aeac723ae (diff) |
Re-named "_.claim" to "_.cover'".
Diffstat (limited to 'stdlib/source/test/lux/control/security')
-rw-r--r-- | stdlib/source/test/lux/control/security/capability.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 4 |
2 files changed, 4 insertions, 4 deletions
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)) |