Ran
|
Jobs
1
|
Files
257
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
github
90 of 420 new or added lines in 16 files covered. (21.43%)
248 existing lines in 6 files now uncovered.18828 of 30295 relevant lines covered (62.15%)
447854.43 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
77.18 |
-0.52% | src/analyses/mutexAnalysis.ml |
1 |
72.06 |
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 |
6 |
67.53 |
-0.12% | src/framework/constraints.ml |
14 |
79.72 |
-0.24% | src/analyses/base.ml |
18 |
63.64 |
-3.03% | src/domains/queries.ml |
19 |
0.0 |
src/witness/witnessGhost.ml | |
19 |
0.0 |
src/witness/witnessGhostVar.ml | |
36 |
62.38 |
-2.15% | src/analyses/basePriv.ml |
44 |
56.19 |
-5.16% | src/witness/yamlWitness.ml |
85 |
35.11 |
src/analyses/mutexGhosts.ml | |
85 |
35.67 |
-21.4% | src/witness/yamlWitnessType.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
56.19 |
-5.16% | src/witness/yamlWitness.ml |
1 |
79.72 |
-0.24% | src/analyses/base.ml |
3 |
63.64 |
-3.03% | src/domains/queries.ml |
24 |
79.05 |
-0.95% | src/relationAnalysis.ml |
39 |
35.67 |
-21.4% | src/witness/yamlWitnessType.ml |
180 |
69.2 |
-2.25% | src/relationPriv.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2244.1 | 257 |
62.15 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|