Add regular & fixme tests for function contracts#3371

celinval merged 10 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-3206-testscelinval/kani-dev:issue-3206-testsCopy head branch name to clipboard