Annotate loop unwinding bounds via pragma#8431

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:pragma-for-loop-unwindtautschnig/cbmc:pragma-for-loop-unwindCopy head branch name to clipboard