logic-ng / LogicNG / 5c8e32e023fcb70008d0cef3
97%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 220
Run time 11s
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
5c8e32e023fcb70008d0cef3

push

wercker

Christoph Zengler 
<a href="https://github.com/logic-ng/LogicNG/commit/<a class=hub.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">9d2275777<a href="https://github.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">&quot;&gt;Revert &amp;quot;better handling of pseudo-Boolean contraints&quot;

This reverts commit </a><a class="double-link" href="https://github.com/logic-ng/LogicNG/commit/<a class="double-link" href="https://github.com/logic-ng/LogicNG/commit/9e7671247ec3136c720e0876583af21a0997bba9">9e7671247</a>">9e7671247</a><a href="https://github.com/logic-ng/LogicNG/commit/9d22757779cdfa43b1e13480876f8f7a0ba76e62">.

14026 of 14473 relevant lines covered (96.91%)

0.97 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5c8e32e023fcb70008d0cef3.1 0
96.91
Source Files on build 5c8e32e023fcb70008d0cef3
Detailed source file information is not available for this build.