Skip to content

Fix loop-contract transform for post-#145513 deref temporaries#4659

Open
tautschnig wants to merge 3 commits into
model-checking:mainfrom
tautschnig:fix-loop-contract-deref-temps
Open

Fix loop-contract transform for post-#145513 deref temporaries#4659
tautschnig wants to merge 3 commits into
model-checking:mainfrom
tautschnig:fix-loop-contract-deref-temps