Add Kani proofs for MacroStateGuard pointer lifecycle (#313)#381

leynos wants to merge 1 commit into

mainleynos/netsuke:mainfrom

issue-313-kani-macro-state-guardleynos/netsuke:issue-313-kani-macro-state-guardCopy head branch name to clipboard