SRI-CSL
/
bixie
/
48
61%
|
Ran
|
Jobs
1
|
Files
179
|
Run time
9s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
web-flow230 of 230 new or added lines in 10 files covered. (100.0%)
7602 of 12549 relevant lines covered (60.58%)
0.61 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
79.03 |
4.56% | src/main/java/bixie/Options.java |
| 1 |
94.74 |
src/main/java/bixie/translation/jsonstubs/JsonBooleanAssertionStub.java | |
| 1 |
95.65 |
src/main/java/bixie/translation/jsonstubs/JsonCompareAssertionStub.java | |
| 3 |
88.0 |
src/main/java/bixie/translation/jsonstubs/JsonStubDescriptor.java | |
| 11 |
81.67 |
src/main/java/bixie/translation/jsonstubs/JsonStubber.java | |
| 16 |
84.8 |
1.96% | src/main/java/bixie/translation/GlobalsCache.java |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
84.8 |
1.96% | src/main/java/bixie/translation/GlobalsCache.java |
| 1 |
91.45 |
0.66% | src/main/java/bixie/translation/soot/SootBodyTransformer.java |
| 17 |
74.29 |
-16.19% | src/main/java/bixie/checker/inconsistency_checker/CombinedChecker.java |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 48.1 | 179 |
60.58 |
Travis Job 48.1 |
Source Files on build 48
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|