1
94%
main: 94%

Ran 30 Jun 2023 02:40PM UTC

Files 40

Run time 0s

Badge

Committed 30 Jun 2023 02:40PM UTC coverage: 92.585% (-1.4%) from 93.988%

Build Type

push

github

Committed by Mikhail

Commit Message

tinkering with certora

Run Details

155 of 170 branches covered (91.18%)

Branch coverage included in aggregate %.

307 of 329 relevant lines covered (93.31%)

50.34 hits per line