2
94%
main: 94%

Ran 09 Nov 2023 12:44PM UTC

Files 42

Run time 1s

Badge

Committed 09 Nov 2023 12:43PM UTC coverage: 94.307%. Remained the same

Build Type

github

Committed by

Commit Message

Update certora.yml to pin the cli version

Run Details

246 of 276 branches covered (0.0%)

Branch coverage included in aggregate %.

400 of 409 relevant lines covered (97.8%)

48.48 hits per line