SRI-CSL
/
yices2
/
16014124229
65%
|
Ran
|
Jobs
1
|
Files
486
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.357% (+0.002%) from 65.355%
push
github
web-flow1 of 1 new or added line in 1 file covered. (100.0%)
11 existing lines in 4 files now uncovered.81209 of 124254 relevant lines covered (65.36%)
1392169.8 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
61.28 |
-0.11% | src/mcsat/bv/explain/arith.c |
| 2 |
96.77 |
-0.72% | src/mcsat/bv/explain/arith_utils.c |
| 2 |
89.04 |
-1.37% | src/solvers/bv/bv64_intervals.c |
| 6 |
81.79 |
-1.09% | src/mcsat/bv/bv_evaluator.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 16014124229.1 | 486 |
65.36 |
GitHub Action Run |
