Ran
|
Jobs
1
|
Files
67
|
Run time
3s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
1635 of 2011 relevant lines covered (81.3%)
0.81 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
88.89 |
-1.11% | src/main/java/il/ac/bgu/cs/bp/bpjs/analysis/BThreadSnapshotVisitedStateStore.java |
2 |
96.61 |
0.31% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/BEvent.java |
10 |
91.74 |
-1.95% | src/main/java/il/ac/bgu/cs/bp/bpjs/analysis/DfsBProgramVerifier.java |
11 |
85.56 |
2.8% | src/main/java/il/ac/bgu/cs/bp/bpjs/execution/jsproxy/BProgramJsProxy.java |
11 |
92.81 |
-0.39% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/BProgramSyncSnapshot.java |
18 |
87.92 |
0.66% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/BProgram.java |
31 |
0.0 |
0.0% | src/main/java/il/ac/bgu/cs/bp/bpjs/mains/BPJsCliRunner.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 326.1 | 67 |
81.3 |
Travis Job 326.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|