Add a few examples of using shadow memory to check initialization of slices#3237

zhassan-aws merged 7 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:slice-init-shadowzhassan-aws/kani:slice-init-shadowCopy head branch name to clipboard