Certora

Function to cover lost assets #30

Sign in to view logs

Triggered via pull request August 9, 2024 12:29

MathisGD

synchronize #6

feat/cover

Status Success

Total duration 2h 30m 48s

Billable time 6h 25m

Artifacts –

certora.yml

on: pull_request

Matrix: verify