From 36ecb80b865d176737a2d3593ad7d562b54ccaf4 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Tue, 27 Aug 2024 00:16:13 +0200
Subject: [PATCH] Tue 27 Aug 00:14:56 CEST 2024

---
 test/test-security.js | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/test-security.js

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))