4
83%
master: 83%

Ran 11 Jan 2019 07:42PM UTC

Files 12

Run time 1s

Badge

Committed 11 Jan 2019 07:40PM UTC coverage: 78.078%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #298 from randomir/bugfix/correct-empty-solver-def-json-parsing

Fix zero-length solver def json parsing

Run Details

1154 of 1478 relevant lines covered (78.08%)

0.78 hits per line