Fix the bug: Loop contracts are not composable with function contracts #3979

thanhnguyen-aws merged 20 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:loopfunctionthanhnguyen-aws/kani:loopfunctionCopy head branch name to clipboard