diff --git a/test/test-security.js b/test/test-security.js new file mode 100644 index 0000000..d19b447 --- /dev/null +++ b/test/test-security.js @@ -0,0 +1,9 @@ +p=Port.unique() +r=Port.unique() + +cap=Capability(p,Private.encode(0,Rights.NEG_LIFE|Rights.NEG_CPU,r)) + +print(Port.toString(r)) +print(Capability.toString(cap)) + +print(Private.rights_check(cap.cap_priv,r,Rights.NEG_LIFE))