goblint
/
analyzer
/
570
62%
|
Ran
|
Jobs
1
|
Files
245
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
coverage: 60.308% (-0.02%) from 60.323%
push
github
Simmo Saan
1 of 1 new or added line in 1 file covered. (100.0%)
17488 of 28998 relevant lines covered (60.31%)
59758.29 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
72.53 |
-0.07% | src/affineEqualityDomain.ml |
| 1 |
31.67 |
0.0% | src/domains/printable.ml |
| 3 |
66.91 |
-0.44% | src/cdomains/floatDomain.ml |
| 3 |
66.67 |
-33.33% | src/framework/node0.ml |
| 3 |
54.19 |
-1.92% | src/util/messages.ml |
| 3 |
32.74 |
-1.79% | src/witness/myARG.ml |
| 4 |
56.86 |
-1.57% | src/util/cilType.ml |
| 58 |
64.97 |
-3.03% | src/util/cilfacade.ml |
| 65 |
75.92 |
-0.03% | src/domains/access.ml |
| 79 |
86.01 |
0.28% | src/analyses/libraryFunctions.ml |
| 113 |
82.51 |
0.01% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 570.1 | 245 |
60.31 |
GitHub Action Run |
