Instrument validity checks for pointer to reference casts for slices and str's#3513

zhassan-aws merged 9 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:iss-3498zhassan-aws/kani:iss-3498Copy head branch name to clipboard