msoos / cryptominisat / 858
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 90
Run time 9s
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
858

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

Jobs
ID Job ID Ran Files Coverage
15 858.15 (CMS_CONFIG=COVERAGE) 0
59.54
 Travis Job 858.15
Source Files on build 858
Detailed source file information is not available for this build.