Ran
|
Files
220
|
Run time
10s
|
Badge
Embed ▾
README BADGES
|
push
wercker
<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">">Revert &quot;better handling of pseudo-Boolean contraints" 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
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|