Skip to content
CI

[Certora] Fix sumOfTwoDelegatedVPLTEqTotalVP usage #911

Sign in to view logs

[Certora] Fix sumOfTwoDelegatedVPLTEqTotalVP usage

[Certora] Fix sumOfTwoDelegatedVPLTEqTotalVP usage #911

Triggered via pull request February 12, 2025 16:45
@QGarcheryQGarchery
opened #110
certora/fix-transfer-revert
Status Success
Total duration 1m 29s
Artifacts –

test.yml

on: pull_request
Foundry project
1m 19s
Foundry project
Fit to window
Zoom out
Zoom in