Ran
|
Jobs
2
|
Files
24
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
11 of 11 new or added lines in 5 files covered. (100.0%)
1795 of 2434 relevant lines covered (73.75%)
1.37 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
75.0 |
0.0% | src/main/java/org/joogie/Dispatcher.java |
1 |
61.92 |
-0.95% | src/main/java/org/joogie/soot/InvokeTranslation.java |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
0.0 |
0.0% | src/main/java/org/joogie/Main.java |
1 |
94.55 |
-1.01% | src/main/java/org/joogie/soot/AssignmentTranslation.java |
1 |
88.61 |
0.64% | src/main/java/org/joogie/soot/SootStmtSwitch.java |
3 |
47.31 |
-0.78% | src/main/java/org/joogie/runners/SootRunner.java |
5 |
82.56 |
1.08% | src/main/java/org/joogie/errormodel/AbstractErrorModel.java |
6 |
82.94 |
-1.93% | src/main/java/org/joogie/GlobalsCache.java |
9 |
87.18 |
-3.58% | src/main/java/org/joogie/soot/SootProcedureInfo.java |
11 |
75.3 |
-2.64% | src/main/java/org/joogie/util/TranslationHelpers.java |
14 |
73.91 |
-3.1% | src/main/java/org/joogie/soot/SootPrelude.java |
20 |
77.21 |
-2.35% | src/main/java/org/joogie/soot/SootValueSwitch.java |
34 |
61.92 |
-0.95% | src/main/java/org/joogie/soot/InvokeTranslation.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 8.1 | 24 |
73.24 |
Travis Job 8.1 | |
2 | 8.2 | 24 |
74.49 |
Travis Job 8.2 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|