goblint
/
analyzer
/
280
63%
master: 62%
master: 62%
|
Ran
|
Jobs
1
|
Files
245
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
coverage: 59.195%. First build
github
GitHub
40 of 120 new or added lines in 17 files covered. (33.33%)
16484 of 27847 relevant lines covered (59.19%)
55282.23 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
86.48 |
src/analyses/mCP.ml | |
| 1 |
0.0 |
src/witness/violation.ml | |
| 2 |
3.26 |
src/analyses/extractPthread.ml | |
| 2 |
51.85 |
src/transform/transform.ml | |
| 2 |
4.6 |
src/util/compilationDatabase.ml | |
| 4 |
0.0 |
src/incremental/makefileUtil.ml | |
| 4 |
0.0 |
src/util/precCompare.ml | |
| 6 |
72.12 |
src/autoTune.ml | |
| 6 |
6.41 |
src/util/server.ml | |
| 11 |
1.11 |
src/transform/expressionEvaluation.ml | |
| 12 |
66.9 |
src/framework/constraints.ml | |
| 14 |
33.33 |
src/util/loopUnrolling.ml | |
| 15 |
52.6 |
src/maingoblint.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 280.1 | 245 |
59.19 |
GitHub Action Run |
