goblint
/
analyzer
/
3224
65%
|
Ran
|
Jobs
1
|
Files
293
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 61.488%. Remained the same
push
github
sim64220649 of 33582 relevant lines covered (61.49%)
411225.39 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
70.0 |
0.0% | src/solver/selector.ml |
| 4 |
78.95 |
6.07% | src/constraint/constrSys.ml |
| 16 |
72.73 |
0.0% | src/solver/postSolver.ml |
| 35 |
0.87 |
0.0% | src/solver/td_simplified.ml |
| 50 |
61.13 |
0.0% | src/domains/queries.ml |
| 86 |
76.11 |
0.0% | src/solver/td3.ml |
| 92 |
61.83 |
0.0% | src/framework/control.ml |
| 97 |
7.34 |
0.0% | src/solver/generic.ml |
| 155 |
69.26 |
0.0% | src/relationPriv.ml |
| 169 |
6.36 |
0.0% | src/util/server.ml |
| 247 |
63.36 |
0.0% | src/analyses/basePriv.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3224.1 | 293 |
61.49 |
GitHub Action Run |
