From a7df7fd3b7e99067c9e9bb76cd1b28a42d38cb12 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 18 Apr 2018 11:49:22 +0100
Subject: fix bug in permissions test of ctestsubset.

---
 cheri/cheri_insts.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail
index 2066826a..1901c5a2 100644
--- a/cheri/cheri_insts.sail
+++ b/cheri/cheri_insts.sail
@@ -929,7 +929,7 @@ function clause execute (CTestSubset(rd, cb, ct)) =
              0b0
         else if (ct_top > cb_top) then
              0b0
-        else if ((ct_perms & cb_perms) != cb_perms) then
+        else if ((ct_perms & cb_perms) != ct_perms) then
              0b0
         else
              0b1;
-- 
cgit v1.2.3