msoos / cryptominisat / 2242
36%

DEFAULT BRANCH: master
Ran
Jobs 2
Files 167
Run time 6min
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
2242

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%)

198780.12 hits per line

Jobs
ID Job ID Ran Files Coverage
23 2242.23 (CMS_CONFIG=COVERAGE) 0
58.76
 Travis Job 2242.23
30 2242.30 (CMS_CONFIG=COVERAGE) 0
58.78
 Travis Job 2242.30
Source Files on build 2242
Detailed source file information is not available for this build.