Skip to content
Foundry

[Certora] Verif math is safe #356

Sign in to view logs

[Certora] Verif math is safe

[Certora] Verif math is safe #356

Triggered via pull request November 4, 2024 16:33
@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