[kani] Prove zero-only pointer validation - #3652

[kani] Prove zero-only pointer validation#3652

joshlf wants to merge 1 commit into

G56sp4dsuukjpe3trlzhqbkuvl6f53jkggoogle/zerocopy:G56sp4dsuukjpe3trlzhqbkuvl6f53jkgfrom

Gzi6kdmiqx3hi24gccqw5f6pebmv47idcgoogle/zerocopy:Gzi6kdmiqx3hi24gccqw5f6pebmv47idcCopy head branch name to clipboard