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

DEFAULT BRANCH: master
Ran
Files 167
Run time 10s
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: 58.763%. Remained the same
CMS_CONFIG=COVERAGE

push

travis-ci

msoos 
<a href="https://github.com/msoos/cryptominisat/commit/<a class=hub.com/msoos/cryptominisat/commit/674f2d578281bbf196786ed992b5dec9fa2b6a73">674f2d578<a href="https://github.com/msoos/cryptominisat/commit/674f2d578281bbf196786ed992b5dec9fa2b6a73">&quot;&gt;Revert &amp;quot;Fixing namespace issue on l_True, l_False and l_Undef&quot;

This reverts commit </a><a class="double-link" href="https://github.com/msoos/cryptominisat/commit/<a class="double-link" href="https://github.com/msoos/cryptominisat/commit/e3d5822b7cad65a1ffc85783af2751a58c06626c">e3d5822b7</a>">e3d5822b7</a><a href="https://github.com/msoos/cryptominisat/commit/674f2d578281bbf196786ed992b5dec9fa2b6a73">.

10689 of 18190 relevant lines covered (58.76%)

99389.51 hits per line

Source Files on job 2242.23 (CMS_CONFIG=COVERAGE)