Skip to content
certora-stata

fix: fixed edge case in the LiquidationDataProvider helper contract (… #195

Sign in to view logs

fix: fixed edge case in the LiquidationDataProvider helper contract (…

fix: fixed edge case in the LiquidationDataProvider helper contract (… #195

Triggered via push May 19, 2025 07:30
@sakulstrasakulstra
pushed 3237693
main
Status Success
Total duration 30m 57s
Artifacts –

certora-stata.yml

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