goblint
/
analyzer
/
602
62%
|
Ran
|
Jobs
1
|
Files
245
|
Run time
6s
|
Badge
Embed ▾
README BADGES
|
coverage: 60.37% (+0.06%) from 60.308%
push
github
Simmo Saan
3 of 3 new or added lines in 1 file covered. (100.0%)
17541 of 29056 relevant lines covered (60.37%)
60206.45 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 8 |
39.73 |
0.0% | src/analyses/libraryDesc.ml |
| 62 |
64.97 |
0.0% | src/util/cilfacade.ml |
| 122 |
86.17 |
0.16% | src/analyses/libraryFunctions.ml |
| 140 |
82.52 |
0.01% | src/analyses/base.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 602.1 | 245 |
60.37 |
GitHub Action Run |
