SRI-CSL
/
yices2
/
28643841375
70%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
496
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 69.928% (+0.03%) from 69.901%
github
web-flow7 of 11 new or added lines in 3 files covered. (63.64%)
93615 of 133873 relevant lines covered (69.93%)
1598161.93 hits per line
Uncovered Changes
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
89.03 |
3.73% | src/exists_forall/ef_values.c |
| 1 |
82.4 |
-0.02% | src/solvers/cdcl/smt_core.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 28643841375.1 | 496 |
69.93 |
GitHub Action Run |
