diff options
Diffstat (limited to 'stdlib/source/test/lux/control/security')
-rw-r--r-- | stdlib/source/test/lux/control/security/capability.lux | 2 | ||||
-rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index 6e2e5cd77..8c0a42952 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -21,7 +21,7 @@ (/.capability: Can_IO (can_io [] (IO Nat))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index e1cae710a..5c2f1bf67 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -66,7 +66,7 @@ (def: privilege privilege)))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Policy |