CONTRACTS: Add goto-level loop-contract annotation#7788

qinheping merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

qinheping:features/goto-level-loop-contractsqinheping/cbmc:features/goto-level-loop-contractsCopy head branch name to clipboard