SRI-CSL
/
yices2
/
8762094294
66%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
473
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.727% (+0.2%) from 65.524%
push
github
ahmed-irfan8 of 8 new or added lines in 1 file covered. (100.0%)
958 existing lines in 6 files now uncovered.79985 of 121693 relevant lines covered (65.73%)
1517744.44 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 36 |
79.73 |
0.68% | src/mcsat/solver.c |
| 47 |
88.49 |
1.62% | src/mcsat/uf/uf_plugin.c |
| 58 |
83.79 |
1.69% | src/mcsat/weq/weak_eq_graph.c |
| 59 |
80.95 |
0.03% | src/context/context.c |
| 63 |
70.75 |
0.56% | src/mcsat/value.c |
| 695 |
32.04 |
1.12% | src/api/yices_api.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 8762094294.1 | 1625 |
66.47 |
GitHub Action Run |
