Contracts: always remove spurious do {... } while(0) loops#8459

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:contracts-remove-do-while-0tautschnig/cbmc:contracts-remove-do-while-0Copy head branch name to clipboard