goblint
/
analyzer
/
1819
65%
|
Ran
|
Jobs
1
|
Files
253
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.753% (-0.03%) from 62.78%
push
github
sim64218649 of 29718 relevant lines covered (62.75%)
458890.81 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
97.67 |
0.17% | src/analyses/mutexEventsAnalysis.ml |
| 8 |
80.21 |
-0.1% | src/cdomain/value/cdomains/addressDomain.ml |
| 37 |
65.32 |
-1.94% | src/config/gobConfig.ml |
| 42 |
81.84 |
0.11% | src/relationAnalysis.ml |
| 73 |
63.96 |
0.0% | src/common/util/cilfacade.ml |
| 88 |
75.0 |
0.04% | src/relationPriv.ml |
| 258 |
79.9 |
-0.08% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1819.1 | 253 |
62.75 |
GitHub Action Run |
