7
83%
master: 83%

Ran 07 Jun 2018 04:05AM UTC

Files 12

Run time 1s

Badge

Committed 07 Jun 2018 04:01AM UTC coverage: 75.96% (-0.3%) from 76.21%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #191 from randomir/master

Change Client for better .solvers() experience and more

Run Details

910 of 1198 relevant lines covered (75.96%)

0.76 hits per line