Add unsized pointer cast regression tests#89

danielsn merged 3 commits into

main-151-2021-04-16model-checking/kani:main-151-2021-04-16from

new-fat-pointer-tests-mrtuttlemodel-checking/kani:new-fat-pointer-tests-mrtuttleCopy head branch name to clipboard