Add regression test for https://github.com/model-checking/rmc/issues/21 - #22

Add regression test for https://github.com/model-checking/rmc/issues/21#22

danielsn merged 1 commit into

mainmodel-checking/kani:mainfrom

codegen-cast-issuemodel-checking/kani:codegen-cast-issueCopy head branch name to clipboard