Skip to content

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

Draft
leynos wants to merge 1 commit into
mainfrom
issue-313-kani-macro-state-guard
Draft

Add Kani proofs for MacroStateGuard pointer lifecycle (#313)#381
leynos wants to merge 1 commit into
mainfrom
issue-313-kani-macro-state-guard

Add Kani proofs for MacroStateGuard pointer lifecycle (#313)

d9a5005
Select commit
Loading
Failed to load commit list.