1
61%
master: 65%

Ran 13 Nov 2018 07:29PM UTC

Files 401

Run time 35s

Badge

Committed 13 Nov 2018 06:57PM UTC coverage: 62.529% (-0.01%) from 62.54%

Job # 382.1

Build Type

push

travis-ci

Committed by

Commit Message

Command line options to select a delegate SAT solver.

Some bugs fixed as in the master branch.

Run Details

59401 of 94997 relevant lines covered (62.53%)

1164232.16 hits per line