goblint
/
analyzer
/
5175
67%
master: 67%
master: 67%
|
Ran
|
Jobs
1
|
Files
329
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 66.612% (-0.008%) from 66.62%
github
web-flow23528 of 35321 relevant lines covered (66.61%)
394634.27 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 81 |
56.23
|
-0.33% | src/affineEqualityDenseDomain.ml |
| 68 |
67.75
|
0.09% | src/apronDomain.ml |
| 65 |
65.95
|
-0.08% | src/linearTwoVarEqualityDomain.ml |
| 55 |
68.93
|
-0.45% | src/affineEqualityDomain.ml |
| 34 |
77.74
|
-0.19% | src/sharedFunctions.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 5175.1 | 329 |
66.61
|
GitHub Action Run |
