Skip to content
Foundry

[Certora] Verif math is safe #357

Sign in to view logs

[Certora] Verif math is safe

[Certora] Verif math is safe #357

Triggered via pull request November 4, 2024 19:37
@colin-morphocolin-morpho
synchronize #89
colin@verif/safe-math
Status Success
Total duration 1m 12s
Artifacts –

foundry.yml

on: pull_request
test
1m 1s
test
Fit to window
Zoom out
Zoom in