[Certora] Verification Morpho tokens #19

# to view logs

Triggered via pull request November 8, 2024 15:55

synchronize #85

colin@verif/delegation-spec

Status Success

Total duration 6m 39s

Artifacts –

certora.yml

on: pull_request

Matrix: verify