Ran
|
Jobs
1
|
Files
222
|
Run time
13s
|
Badge
README BADGES
|
push
wercker
14034 of 14483 relevant lines covered (96.9%)
0.97 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
95.45 |
-4.55% | src/main/java/org/logicng/predicates/satisfiability/SATPredicate.java |
1 |
91.3 |
-0.36% | src/main/java/org/logicng/pseudobooleans/PBEncoder.java |
5 |
97.11 |
-0.05% | src/main/java/org/logicng/formulas/PBConstraint.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 5cd2865d23fcb70008de465a.1 | 222 |
96.9 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|