Ran
|
Jobs
1
|
Files
262
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
github
71 of 429 new or added lines in 18 files covered. (16.55%)
407 existing lines in 6 files now uncovered.18822 of 30437 relevant lines covered (61.84%)
445746.57 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
77.18 |
-0.52% | src/analyses/mutexAnalysis.ml |
1 |
71.85 |
0.0% | src/analyses/unassumeAnalysis.ml |
1 |
55.89 |
0.0% | src/analyses/varEq.ml |
1 |
65.71 |
0.0% | src/common/util/richVarinfo.ml |
2 |
86.27 |
-0.52% | src/analyses/mCP.ml |
5 |
79.67 |
-3.38% | src/lifters/longjmpLifter.ml |
5 |
70.15 |
-5.66% | src/lifters/recursionTermLifter.ml |
5 |
66.48 |
-0.97% | src/lifters/specLifters.ml |
14 |
79.64 |
-0.24% | src/analyses/base.ml |
19 |
0.0 |
src/witness/witnessGhost.ml | |
19 |
0.0 |
src/witness/witnessGhostVar.ml | |
22 |
62.43 |
-4.14% | src/domains/queries.ml |
36 |
62.38 |
-2.15% | src/analyses/basePriv.ml |
48 |
54.98 |
-5.99% | src/witness/yamlWitness.ml |
82 |
35.94 |
src/analyses/mutexGhosts.ml | |
97 |
27.46 |
-13.64% | src/witness/yamlWitnessType.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
79.64 |
-0.24% | src/analyses/base.ml |
3 |
62.43 |
-4.14% | src/domains/queries.ml |
24 |
79.05 |
-0.95% | src/relationAnalysis.ml |
93 |
27.46 |
-13.64% | src/witness/yamlWitnessType.ml |
106 |
54.98 |
-5.99% | src/witness/yamlWitness.ml |
180 |
69.2 |
-2.25% | src/relationPriv.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2490.1 | 262 |
61.84 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|