1
57%
master: 85%

Ran 12 Dec 2018 10:06PM UTC

Files 6

Run time 1s

Badge

Committed 12 Dec 2018 10:06PM UTC coverage: 57.411% (+0.2%) from 57.203%

Job # 317.1

Build Type

circleci

Committed by Alex Beregszaszi

Commit Message

Fix check for empty smtlib2queries

Run Details

82 of 161 branches covered (50.93%)

Branch coverage included in aggregate %.

193 of 318 relevant lines covered (60.69%)

6.72 hits per line