1
61%
master: 98%

Ran 09 Jan 2022 10:02AM UTC

Files 13

Run time 0s

Badge

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

Build Type

push

github

Committed by Matthew Lilley

Commit Message

workflow(certora): add missing script verifyTridentRouter.sh

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