goblint
/
analyzer
/
439
62%
|
Ran
|
Jobs
1
|
Files
244
|
Run time
7s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.835% (+0.08%) from 59.76%
push
github
Simmo Saan
17059 of 28510 relevant lines covered (59.84%)
54015.91 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 19 |
84.68 |
5.89% | src/analyses/raceAnalysis.ml |
| 32 |
79.49 |
0.01% | src/analyses/base.ml |
| 43 |
75.49 |
1.65% | src/domains/access.ml |
| 49 |
76.26 |
-0.27% | src/analyses/baseInvariant.ml |
| 52 |
68.19 |
-3.71% | src/util/cilfacade.ml |
| 74 |
84.35 |
0.19% | src/analyses/libraryFunctions.ml |
| 411 |
69.24 |
-0.2% | src/cdomains/intDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 439.1 | 244 |
59.84 |
GitHub Action Run |
