SRI-CSL
/
yices2
/
6330174594
65%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
471
|
Run time
45s
|
Badge
Embed ▾
README BADGES
|
coverage: 65.098% (+0.7%) from 64.36%
push
github
ahmed-irfan79161 of 121602 relevant lines covered (65.1%)
1505242.65 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
81.92 |
0.78% | src/mcsat/weq/weak_eq_graph.c |
| 3 |
63.03 |
-0.21% | src/model/concrete_values.c |
| 5 |
87.91 |
-1.02% | src/mcsat/uf/uf_plugin.c |
| 5 |
84.38 |
0.0% | src/utils/timeout.c |
| 8 |
76.26 |
0.19% | src/mcsat/bv/explain/arith_norm.c |
| 27 |
61.19 |
0.0% | src/mcsat/bv/bv_explainer.c |
| 34 |
89.46 |
0.0% | src/mcsat/preprocessor.c |
| 43 |
64.39 |
0.0% | src/mcsat/conflict.c |
| 45 |
80.91 |
0.01% | src/context/context.c |
| 88 |
68.06 |
0.0% | src/mcsat/bv/explain/eq_ext_con.c |
| 149 |
21.86 |
0.0% | src/frontend/yices_smtcomp.c |
| 174 |
32.58 |
-0.43% | src/frontend/yices_smt2.c |
| 469 |
48.61 |
0.2% | src/frontend/smt2/smt2_commands.c |
| 568 |
26.48 |
-0.23% | src/api/yices_api.c |
| 605 |
26.9 |
0.01% | src/frontend/yices/yices_reval.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 6330174594.1 | 1615 |
65.71 |
GitHub Action Run |
