Ran
|
Jobs
1
|
Files
87
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
95.16 |
0.0% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/BThreadSyncSnapshot.java |
1 |
89.66 |
13.79% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/eventsets/JsEventSet.java |
2 |
74.42 |
-4.65% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/ForkStatement.java |
3 |
91.3 |
0.0% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/eventselection/PrioritizedBThreadsEventSelectionStrategy.java |
3 |
95.95 |
0.26% | src/main/java/il/ac/bgu/cs/bp/bpjs/model/eventsets/ComposableEventSet.java |
7 |
94.02 |
2.64% | src/main/java/il/ac/bgu/cs/bp/bpjs/execution/jsproxy/BProgramJsProxy.java |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 488.1 | 87 |
85.51 |
Travis Job 488.1 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|