goblint
/
analyzer
/
4906
66%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
329
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 66.301% (+0.9%) from 65.409%
github
web-flow23720 of 35776 relevant lines covered (66.3%)
576532.4 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 247 |
76.2
|
0.4% | src/analyses/basePriv.ml |
| 244 |
82.74
|
0.25% | src/analyses/base.ml |
| 181 |
72.44
|
0.49% | src/relationPriv.ml |
| 112 |
64.04
|
-0.55% | src/domains/queries.ml |
| 78 |
76.3
|
0.36% | src/witness/yamlWitness.ml |
| 66 |
65.78
|
-0.09% | src/framework/control.ml |
| 53 |
56.02
|
0.47% | 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 |
| 2 |
80.77
|
0.44% | src/witness/witnessUtil.ml |
| 1 |
98.36
|
0.69% | src/analyses/mutexEventsAnalysis.ml |
| 1 |
91.09
|
0.18% | src/analyses/mutexGhosts.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 4906.1 | 329 |
66.3
|
GitHub Action Run |
