Ran
|
Jobs
3
|
Files
195
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
86.21 |
src/main/java/at/ac/tuwien/kr/alpha/grounder/Unification.java | |
7 |
92.13 |
src/main/java/at/ac/tuwien/kr/alpha/grounder/transformation/ArithmeticTermsRewriting.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1157.1 | 195 |
83.01 |
Travis Job 1157.1 | |
2 | 1157.2 | 195 |
83.01 |
Travis Job 1157.2 | |
4 | 1157.4 | 195 |
83.03 |
Travis Job 1157.4 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|