CONTRACTS: Add an option to not unwind transformed loops after applying loop contracts#7524

Merged

tautschnig merged 3 commits intodiffblue:developfrom

qinheping:loop-contract-unwind

Feb 7, 2023

Commits on Feb 3, 2023

Fix typos in contracts.h
qinheping
committed

Commits on Feb 7, 2023

Add an option to not unwind tranformed loops after applying loop contracts
qinheping
committed
Add an option in goto-synthesizer to not unwind tranformed loops
qinheping
committed