23
36%
master: 36%

Ran 06 Sep 2018 10:32PM UTC

Files 167

Run time 15s

Badge

Embed ▾

Committed 06 Sep 2018 10:03PM UTC coverage: 58.746% (-0.01%) from 58.76%

Job # CMS_CONFIG=COVERAGE

Build Type

push

travis-ci

Committed by

msoos

Commit Message

Avoid infinite propagate-gaussconflict loop

The restart could actually be not triggered in case of such a loop.
Urquhart instances exhibited this behaviour

Thanks to Armin Biere for pointing me towards these instances

Coverage Stats

10720 of 18248 relevant lines covered (58.75%)

93710.63 hits per line

msoos / cryptominisat / 2289 / 23
36%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2289.23 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 2289 / 23 36% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2289.23 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 2289 / 23
36%
master: 36%

README BADGES
x