Certora

Function to cover lost assets #25

Sign in to view logs

Triggered via pull request August 9, 2024 09:58

MathisGD

synchronize #6

feat/cover

Status Success

Total duration 2h 31m 2s

Billable time 7h 28m

Artifacts –

certora.yml

on: pull_request

Matrix: verify