SRI-CSL
/
yices2
/
28615549433
70%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
497
|
Run time
3min
|
Badge
Embed ▾
README BADGES
|
coverage: 69.922% (+0.02%) from 69.901%
github
web-flow103 of 116 new or added lines in 4 files covered. (88.79%)
93682 of 133981 relevant lines covered (69.92%)
1580591.82 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 12 |
81.82 |
src/context/context_mcsat_relax.c | |
| 1 |
69.33 |
0.2% | src/solvers/mcsat_satellite.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 28615549433.1 | 497 |
69.92 |
GitHub Action Run |
