Skip to content
Certora

[Certora] If calls succeed state changes #171

Sign in to view logs

[Certora] If calls succeed state changes

[Certora] If calls succeed state changes #171

verify (Bundler3)

verify (Bundler3)
succeeded Jan 28, 2025 in 6m 45s