Add experimental API to generate arbitrary pointers#3538

celinval merged 12 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2300-ptr-generatorcelinval/kani-dev:issue-2300-ptr-generatorCopy head branch name to clipboard