Skip to content
Certora verification

== false -> ! #66

Sign in to view logs

== false -> !

== false -> ! #66

Triggered via pull request April 19, 2024 14:58
@wilsoncusackwilsoncusack
opened #59
wilson/false-check
Status Success
Total duration 1h 17m 4s
Artifacts –

certora.yml

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