Certora

Function to cover lost assets #31

Sign in to view logs

Triggered via pull request August 9, 2024 12:34

MathisGD

synchronize #6

feat/cover

Status Success

Total duration 45m 16s

Billable time 4h 56m

Artifacts –

certora.yml

on: pull_request

Matrix: verify