msoos / cryptominisat / 858 / 15
36%
master: 36%

DEFAULT BRANCH: master
Ran
Files 90
Run time 8s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 59.541% (-1.0%) from 60.569%
CMS_CONFIG=COVERAGE

push

travis-ci

msoos 
Order heap doesn't need to be re-calculated so often

It's good at startup and between calls. It only gets wrongly updated
during simplification. So rebuild it after simp and we are good

7710 of 12949 relevant lines covered (59.54%)

1534241.69 hits per line

Source Files on job 858.15 (CMS_CONFIG=COVERAGE)