Skip to content

[Certora] Verif expected reverts #160

[Certora] Verif expected reverts

[Certora] Verif expected reverts #160

Triggered via pull request October 9, 2024 10:43
Status Success
Total duration 9m 14s
Artifacts

certora.yml

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