Codegen storage markers as assignments to __CPROVER_dead_object#3164
Closed
tautschnig wants to merge 4 commits intomodel-checking:mainfrom
Closed
Codegen storage markers as assignments to __CPROVER_dead_object#3164tautschnig wants to merge 4 commits intomodel-checking:mainfrom
tautschnig wants to merge 4 commits intomodel-checking:mainfrom
Commits
Commits on Apr 25, 2024
- committed
- committed
