Skip to content
Foundry

[Certora] Verif math is safe #361

Sign in to view logs

[Certora] Verif math is safe

[Certora] Verif math is safe #361

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

foundry.yml

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