1
61%
master: 98%

Ran 09 Jan 2022 09:24AM UTC

Files 13

Run time 0s

Badge

Committed 09 Jan 2022 09:24AM UTC coverage: 54.135%. Remained the same

Build Type

push

github

Committed by Matthew Lilley

Commit Message

spec(certora): add debug flag to sanityConstantProductPool

Run Details

59 of 156 branches covered (37.82%)

Branch coverage included in aggregate %.

229 of 376 relevant lines covered (60.9%)

21.2 hits per line