goblint
/
analyzer
/
3899
65%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
312
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.432% (+0.008%) from 65.424%
github
web-flow22 of 28 new or added lines in 8 files covered. (78.57%)
22466 of 34335 relevant lines covered (65.43%)
405747.61 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
70.97 |
-0.46% | src/util/std/gobList.ml |
| 2 |
3.38 |
0.01% | src/analyses/extractPthread.ml |
| 3 |
15.0 |
1.11% | src/domain/hoareDomain.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3899.1 | 312 |
65.43 |
GitHub Action Run |
