Ran
|
Jobs
1
|
Files
220
|
Run time
11s
|
Badge
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
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 5c8e32e023fcb70008d0cef3.1 | 220 |
96.91 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|