goblint
/
analyzer
/
3438
65%
|
Ran
|
Jobs
1
|
Files
296
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.553% (+0.02%) from 61.533%
push
github
sim64220914 of 33977 relevant lines covered (61.55%)
406547.43 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
15.38 |
-7.69% | src/util/std/gobTuple.ml |
| 8 |
81.4 |
0.0% | src/cdomain/value/util/wideningThresholds.ml |
| 11 |
58.49 |
0.31% | src/gobApron.ml |
| 14 |
82.95 |
0.0% | src/analyses/symbLocks.ml |
| 17 |
77.48 |
0.0% | src/analyses/mutexAnalysis.ml |
| 29 |
31.11 |
0.0% | src/common/util/intOps.ml |
| 29 |
46.36 |
0.0% | src/common/util/messageCategory.ml |
| 32 |
80.14 |
0.62% | src/relationAnalysis.ml |
| 36 |
56.07 |
-0.15% | src/apronDomain.ml |
| 41 |
77.08 |
0.0% | src/sharedFunctions.ml |
| 75 |
80.11 |
0.0% | src/analyses/base.ml |
| 92 |
61.73 |
-0.1% | src/framework/control.ml |
| 258 |
3.35 |
0.07% | src/analyses/extractPthread.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3438.1 | 296 |
61.55 |
GitHub Action Run |
