1
76%
master: 76%

Ran 06 Mar 2018 06:29AM UTC

Files 15

Run time 893min

Badge

Committed 06 Mar 2018 06:26AM UTC coverage: 78.319% (+0.1%) from 78.173%

Job # #82.1

Build Type

push

circle-ci

Committed by

Commit Message

making it easier to set solver parameters

Run Details

541 of 726 branches covered (74.52%)

Branch coverage included in aggregate %.

1211 of 1511 relevant lines covered (80.15%)

0.8 hits per line