You need to sign in or sign up before continuing.

Fix preprocessing inconsistency with newer CBMC versions

See !1402 (comment 1218243094). A temporary fix is implemented by !1437 (merged), but in the long term, we should fix existing preprocessing inconsistency which is only detected by newer checks in CBMC.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information