diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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; |