1
93%
main: 94%

Ran 24 Aug 2023 01:21PM UTC

Files 42

Run time 4s

Badge

Committed 24 Aug 2023 01:21PM UTC coverage: 92.78% (+1.0%) from 91.829%

Build Type

github

Committed by Mikhail

Commit Message

split certora depth

Run Details

194 of 214 branches covered (0.0%)

Branch coverage included in aggregate %.

320 of 340 relevant lines covered (94.12%)

53.41 hits per line