mabseher / htd / 480 / 9
74%
master: 74%

DEFAULT BRANCH: master
Ran
Files 228
Run time 17s
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: 91.607% (-0.06%) from 91.662%
HTD_TARGET=htd BUILD_SHARED_LIBS=True CMAKE_BUILD_TYPE=Debug HTD_USE_EXTENDED_IDENTIFIERS=False RUN_COVERAGE_TEST=1

push

travis-ci

mabseher 
Re-enabled option to limit the maximum number of non-improving decompositions.

10118 of 11045 relevant lines covered (91.61%)

60696.69 hits per line

Source Files on job 480.9 (HTD_TARGET=htd BUILD_SHARED_LIBS=True CMAKE_BUILD_TYPE=Debug HTD_USE_EXTENDED_IDENTIFIERS=False RUN_COVERAGE_TEST=1)