diff options
| -rw-r--r-- | cheri/cheri_insts.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cheri/cheri_insts.sail b/cheri/cheri_insts.sail index cfd3b153..532f0fef 100644 --- a/cheri/cheri_insts.sail +++ b/cheri/cheri_insts.sail @@ -923,8 +923,6 @@ function clause execute (CTestSubset(rd, cb, ct)) = else { result : bits(1) = if (cb_val.tag != ct_val.tag) then 0b0 - else if (cb_val.sealed != ct_val.sealed) then - 0b0 else if (ct_base < cb_base) then 0b0 else if (ct_top > cb_top) then |