1
95%
main: 94%

Ran 12 Jan 2024 02:05PM UTC

Files 31

Run time 0s

Badge

Committed 12 Jan 2024 02:03PM UTC coverage: 94.551%. Remained the same

Build Type

github

Committed by

Commit Message

Pin Certora CLI Version in CI

Run Details

247 of 276 branches covered (0.0%)

Branch coverage included in aggregate %.

395 of 403 relevant lines covered (98.01%)

97.32 hits per line