1
99%
master: 98%

Ran 07 May 2021 02:00PM UTC

Files 42

Run time 5s

Badge

Committed 07 May 2021 02:00PM UTC coverage: 99.064% (-0.8%) from 99.913%

Build Type

circleci

Committed by GitHub

Commit Message

Fix certora contracts path (#404)

Run Details

498 of 504 branches covered (98.81%)

Branch coverage included in aggregate %.

878 of 885 relevant lines covered (99.21%)

37.51 hits per line