Skip to content
Foundry

[Certora] Verif math is safe #360

Sign in to view logs

[Certora] Verif math is safe

[Certora] Verif math is safe #360

Triggered via pull request November 13, 2024 14:08
@colin-morphocolin-morpho
synchronize #89
colin@verif/safe-math
Status Success
Total duration 1m 6s
Artifacts –

foundry.yml

on: pull_request
test
56s
test
Fit to window
Zoom out
Zoom in