1
57%
master: 85%

Ran 12 Dec 2018 10:03PM UTC

Files 6

Run time 0s

Badge

Committed 12 Dec 2018 10:03PM UTC coverage: 57.203% (-0.2%) from 57.432%

Job # 305.1

Build Type

circleci

Committed by Alex Beregszaszi

Commit Message

Add SMTChecker smoke tests

Run Details

81 of 161 branches covered (50.31%)

Branch coverage included in aggregate %.

193 of 318 relevant lines covered (60.69%)

6.7 hits per line