Add tests for fixed issues.#3484

carolynzech merged 5 commits into

model-checking:mainmodel-checking/kani:mainfrom

carolynzech:tests-for-issuescarolynzech/kani:tests-for-issuesCopy head branch name to clipboard