diff options
| author | Robert Norton | 2018-04-18 11:49:22 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-04-18 11:49:22 +0100 |
| commit | a7df7fd3b7e99067c9e9bb76cd1b28a42d38cb12 (patch) | |
| tree | a4708afa3ae784f6317a53f8755d783a0d70cbac | |
| parent | f8dc91b187ea3995b9f0a34a3d82028e568c273c (diff) | |
fix bug in permissions test of ctestsubset.
| -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; |