grzesuav
/
gjpf-core
/
267
45%
|
Ran
|
Jobs
1
|
Files
765
|
Run time
40s
|
Badge
Embed ▾
README BADGES
|
travis-ci
web-flow21987 of 48733 relevant lines covered (45.12%)
0.45 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
main/src/main/java/gov/nasa/jpf/util/IntVector.java | |
| 1 |
100.0 |
main/src/main/java/gov/nasa/jpf/vm/Verify.java | |
| 3 |
100.0 |
main/src/main/java/gov/nasa/jpf/vm/JPF_gov_nasa_jpf_vm_Verify.java | |
| 13 |
100.0 |
main/src/main/java/gov/nasa/jpf/util/json/CGCreatorFactory.java |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 267.1 | 0 |
45.12 |
Travis Job 267.1 |
Source Files on build 267
Detailed source file information is not available for this build.