SRI-CSL
/
yices2
/
7305248189
65%
master: 66%
master: 66%
|
Ran
|
Jobs
1
|
Files
473
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.158% (+0.002%) from 65.156%
push
github
ahmed-irfan1 of 1 new or added line in 1 file covered. (100.0%)
47 existing lines in 4 files now uncovered.79258 of 121639 relevant lines covered (65.16%)
1700599.45 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
96.08 |
-0.02% | src/mcsat/bool/cnf.c |
| 2 |
64.57 |
-1.57% | src/mcsat/bool/clause_db.c |
| 11 |
88.88 |
-1.21% | src/terms/bvlogic_buffers.c |
| 33 |
92.42 |
0.81% | src/mcsat/bool/bool_plugin.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 7305248189.1 | 1624 |
65.88 |
GitHub Action Run |
