Fix the bug that assign clause cannot be inferred for the inner loop of nested loops#4179

tautschnig merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:fixloopstoragethanhnguyen-aws/kani:fixloopstorageCopy head branch name to clipboard