Ran
|
Files
127
|
Run time
14s
|
Badge
README BADGES
|
push
travis-ci
4118 of 5013 relevant lines covered (82.15%)
0.82 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | ...n/kr/alpha/solver/learning/ResolutionSequence.java | 7 | 1 | 0 | 1 | 0.0 | |
0.0 | ...t/ac/tuwien/kr/alpha/grounder/rete/TupleStore.java | 10 | 1 | 0 | 1 | 0.0 | |
0.0 | ...c/tuwien/kr/alpha/grounder/rete/RetePredicate.java | 38 | 10 | 0 | 10 | 0.0 | |
0.0 | ...ha/solver/heuristics/AlphaRandomSignHeuristic.java | 65 | 11 | 0 | 11 | 0.0 | |
0.0 | ...ac/tuwien/kr/alpha/grounder/FilteringGrounder.java | 18 | 5 | 0 | 5 | 0.0 | |
0.0 | ...t/ac/tuwien/kr/alpha/grounder/rete/TupleIndex.java | 7 | 1 | 0 | 1 | 0.0 | |
0.0 | ...edinterpretations/LongPredicateInterpretation.java | 48 | 6 | 0 | 6 | 0.0 | |
0.0 | ...wien/kr/alpha/grounder/atoms/HeuristicLiteral.java | 65 | 7 | 0 | 7 | 0.0 | |
0.0 | ...spec/UnsatisfiableHeuristicConditionException.java | 42 | 4 | 0 | 4 | 0.0 | |
10.53 | .../java/at/ac/tuwien/kr/alpha/common/atoms/Atom.java | 131 | 19 | 2 | 17 | 1.0 |