Skip to content
certora-steward

fix: relax underlying asset check on OracleSwapFreezer constructor (#… #211

Sign in to view logs

fix: relax underlying asset check on OracleSwapFreezer constructor (#…

fix: relax underlying asset check on OracleSwapFreezer constructor (#… #211

Triggered via push February 20, 2025 09:30
@miguelmtzinfmiguelmtzinf
pushed 1936caa
main
Status Success
Total duration 7m 20s
Artifacts –

certora-steward.yml

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