goblint
/
analyzer
/
4722
66%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
328
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 66.204% (+0.9%) from 65.316%
github
web-flow23711 of 35815 relevant lines covered (66.2%)
562797.0 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 247 |
76.2
|
0.4% | src/analyses/basePriv.ml |
| 246 |
82.62
|
0.25% | src/analyses/base.ml |
| 168 |
72.97
|
1.01% | src/relationPriv.ml |
| 112 |
63.94
|
-0.54% | src/domains/queries.ml |
| 84 |
75.45
|
-0.49% | src/witness/yamlWitness.ml |
| 66 |
65.51
|
-0.09% | src/framework/control.ml |
| 52 |
56.63
|
0.45% | src/analyses/mCPRegistry.ml |
| 52 |
63.41
|
0.31% | src/maingoblint.ml |
| 44 |
86.94
|
0.06% | src/relationAnalysis.ml |
| 28 |
87.28
|
-0.03% | src/framework/constraints.ml |
| 26 |
88.86
|
0.83% | src/analyses/mCP.ml |
| 20 |
77.89
|
-0.93% | src/analyses/unassumeAnalysis.ml |
| 14 |
77.21
|
-1.19% | src/analyses/commonPriv.ml |
| 12 |
15.63
|
4.91% | src/domains/events.ml |
| 11 |
71.79
|
-14.41% | src/analyses/mayLocks.ml |
| 7 |
84.75
|
-1.22% | src/cdomains/lockDomain.ml |
| 6 |
90.91
|
0.28% | src/util/library/libraryFunctions.ml |
| 4 |
66.67
|
-1.75% | src/witness/witnessGhostVar.ml |
| 3 |
71.08
|
0.71% | src/framework/analyses.ml |
| 3 |
43.75
|
1.02% | src/witness/witness.ml |
| 1 |
98.36
|
0.69% | src/analyses/mutexEventsAnalysis.ml |
| 1 |
91.09
|
0.18% | src/analyses/mutexGhosts.ml |
| 1 |
80.8
|
0.47% | src/witness/witnessUtil.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 4722.1 | 328 |
66.2
|
GitHub Action Run |
