Add free(0) to codegen of loop contracts - #3637

Add free(0) to codegen of loop contracts#3637

qinheping merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

qinheping:loop_contracts_with_freeqinheping/kani:loop_contracts_with_freeCopy head branch name to clipboard