1
87%
master: 85%

Ran 20 Dec 2018 10:18AM UTC

Files 6

Run time 0s

Badge

Committed 20 Dec 2018 10:18AM UTC coverage: 57.883%. First build

Job # 416.1

Build Type

push

circleci

Committed by Leonardo Alt

Commit Message

Fix SMT when Z3 returns UNSAT

Run Details

82 of 159 branches covered (51.57%)

Branch coverage included in aggregate %.

186 of 304 relevant lines covered (61.18%)

7.0 hits per line