Ran
|
Files
88
|
Run time
5s
|
Badge
README BADGES
|
push
travis-ci
344 of 3968 relevant lines covered (8.67%)
57.73 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | ...tudresden/inf/lat/uel/type/impl/DefinitionSet.java | 71 - 27 | 19 - 19 | 0 - 17 | 19 - 2 | 0.0 - 1.0 | |
0.0 | ...udresden/inf/lat/uel/type/impl/IndexedSetImpl.java | 205 + 160 | 69 + 44 | 0 - 6 | 69 + 50 | 0.0 - 1.0 | |
0.0 | ...va/de/tudresden/inf/lat/uel/type/impl/Unifier.java | 44 - 188 | 16 - 128 | 0 - 26 | 16 - 102 | 0.0 - 1.0 | |
0.0 | .../inf/lat/uel/type/impl/ExistentialRestriction.java | 104 + 62 | 29 + 7 | 0 - 3 | 29 + 10 | 0.0 - 1.0 | |
0.0 | ...tudresden/inf/lat/uel/type/api/Dissubsumption.java | 19 - 199 | 4 - 117 | 0 - 19 | 4 - 98 | 0.0 - 1.0 | |
0.0 | ...de/tudresden/inf/lat/uel/type/api/Disequation.java | 19 - 541 | 4 - 191 | 0 - 53 | 4 - 138 | 0.0 - 1.0 | |
0.0 | .../de/tudresden/inf/lat/uel/type/api/Definition.java | 52 - 48 | 16 - 45 | 0 - 11 | 16 - 34 | 0.0 - 1.0 | |
0.0 | ...tudresden/inf/lat/uel/asp/solver/ClingoOutput.java | 234 + 165 | 102 + 67 | 0 - 17 | 102 + 84 | 0.0 - 1.0 | |
0.0 | ...va/de/tudresden/inf/lat/uel/type/api/Equation.java | 19 - 71 | 4 - 46 | 0 - 10 | 4 - 36 | 0.0 - 1.0 | |
0.0 | ...e/tudresden/inf/lat/uel/type/impl/ConceptName.java | 97 - 34 | 27 - 34 | 0 - 16 | 27 - 18 | 0.0 - 1.0 |