1
88%
master: 44%

Ran 04 Nov 2020 09:20PM UTC

Files 23

Run time 4s

Badge

Committed 04 Nov 2020 09:20PM UTC coverage: 87.803%. First build

Build Type

push

github

Committed by James Dabbs

Commit Message

Add space <=> theorem counterexample related tabs

Coverage Stats

232 of 297 branches covered (78.11%)

Branch coverage included in aggregate %.

963 of 1064 relevant lines covered (90.51%)

3.47 hits per line