Skip to content

[certora] no residue spec for vault bundles - #92

Draft
bhargavbh wants to merge 3 commits into
mainfrom
certora/vault-no-residue
Draft

[certora] no residue spec for vault bundles#92
bhargavbh wants to merge 3 commits into
mainfrom
certora/vault-no-residue

works assuming permit.kind != permit2

cae7f99
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar