1
80%
master: 44%

Ran 04 Nov 2020 09:23PM UTC

Files 23

Run time 5s

Badge

Committed 04 Nov 2020 09:22PM UTC coverage: 87.803% (+0.7%) from 87.149%

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