Ran
|
Jobs
1
|
Files
245
|
Run time
5s
|
Badge
Embed ▾
README BADGES
|
push
github
6 of 6 new or added lines in 1 file covered. (100.0%)
17574 of 29138 relevant lines covered (60.31%)
61440.51 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
6 |
78.23 |
-3.98% | src/cdomains/regionDomain.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
4 |
93.33 |
-3.22% | src/analyses/wrapperFunctionAnalysis.ml |
7 |
57.14 |
-1.19% | src/cdomains/lockDomain.ml |
19 |
76.67 |
-3.57% | src/analyses/threadId.ml |
22 |
80.13 |
-0.52% | src/analyses/mutexAnalysis.ml |
41 |
54.6 |
-3.19% | src/analyses/mCPRegistry.ml |
81 |
29.57 |
-2.1% | src/domains/printable.ml |
131 |
29.75 |
-0.25% | src/domains/mapDomain.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 628.1 | 245 |
60.31 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|