Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies - #5071

Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies#5071

hung1962003 wants to merge 12 commits into

model-checking:mainmodel-checking/kani:mainfrom

hung1962003:loop-modifies-dead-localshung1962003/kani:loop-modifies-dead-localsCopy head branch name to clipboard