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

Triggered via pull request January 28, 2025 14:13
@colin-morphocolin-morpho
synchronize #229
colin@verif/reverts-alt
Status Success
Total duration 15m 24s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in