30
36%
master: 36%

Ran 06 Sep 2018 10:39PM UTC

Files 167

Run time 20s

Badge

Embed ▾

Committed 06 Sep 2018 10:03PM UTC coverage: 58.741% (-0.02%) 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

10722 of 18253 relevant lines covered (58.74%)

93684.9 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2289.30 (CMS_CONFIG=COVERAGE)

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2289.30 (CMS_CONFIG=COVERAGE)

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

README BADGES
x