Ran
|
Jobs
1
|
Files
174
|
Run time
11s
|
Badge
Embed ▾
README BADGES
|
push
github
46 of 64 new or added lines in 6 files covered. (71.88%)
117 existing lines in 4 files now uncovered.14504 of 23074 relevant lines covered (62.86%)
56886.32 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
80.0 |
0.0% | src/cdomains/concDomain.ml |
3 |
73.89 |
0.0% | src/cdomains/valueDomain.ml |
14 |
77.08 |
0.0% | src/cdomains/threadIdDomain.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
80.0 |
0.0% | src/cdomains/concDomain.ml |
3 |
95.08 |
0.0% | src/analyses/threadAnalysis.ml |
38 |
81.63 |
0.0% | src/analyses/base.ml |
75 |
73.89 |
0.0% | src/cdomains/valueDomain.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 934.1 | 174 |
62.86 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|