Drop writes to locals that stand for a function item - #4860

Drop writes to locals that stand for a function item#4860

srivatsansamraj wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

srivatsansamraj:fndef-local-writessrivatsansamraj/kani:fndef-local-writesCopy head branch name to clipboard