1
80%
master: 44%

Ran 08 Nov 2020 06:42PM UTC

Files 27

Run time 2s

Badge

Committed 08 Nov 2020 06:42PM UTC coverage: 86.003% (-1.2%) from 87.188%

Build Type

push

github

Committed by James Dabbs

Commit Message

Display proof for derived traits

Coverage Stats

259 of 331 branches covered (78.25%)

Branch coverage included in aggregate %.

1105 of 1255 relevant lines covered (88.05%)

3.95 hits per line