Add test for issue 3022#3483

carolynzech wants to merge 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

carolynzech:issue-3022-testcarolynzech/kani:issue-3022-testCopy head branch name to clipboard