Loop counter resetting must not result in unlimited unwinding#5870

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:loop-countertautschnig/cbmc:loop-counterCopy head branch name to clipboard