SRI-CSL
/
yices2
/
986
63%
master: 66%
master: 66%
|
Ran
|
Jobs
2
|
Files
430
|
Run time
4min
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
dddejan37 of 37 new or added lines in 2 files covered. (100.0%)
66771 of 106348 relevant lines covered (62.79%)
1360097.65 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 3 |
39.92 |
0.0% | src/frontend/yices_smt2.c |
| 15 |
72.84 |
0.0% | src/mcsat/bv/explain/arith.c |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 14 |
60.87 |
-12.81% | src/mcsat/utils/statistics.c |
| 26 |
66.67 |
0.0% | src/mcsat/bv/bv_explainer.c |
| 35 |
84.78 |
0.0% | src/mcsat/bv/explain/full_bv_sat.c |
| 47 |
88.63 |
0.0% | src/mcsat/preprocessor.c |
| 55 |
39.92 |
0.0% | src/frontend/yices_smt2.c |
| 59 |
81.9 |
0.0% | src/mcsat/bv/bdd_computation.c |
| 64 |
66.01 |
0.0% | src/mcsat/conflict.c |
| 143 |
70.22 |
0.0% | src/mcsat/bv/explain/eq_ext_con.c |
| 199 |
74.97 |
0.0% | src/mcsat/solver.c |
| 249 |
72.84 |
0.0% | src/mcsat/bv/explain/arith.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 9 | 986.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 430 |
62.79 |
Travis Job 986.9 | |
| 10 | 986.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 | Travis Job 986.10 |
