SRI-CSL
/
yices2
/
1396
65%
master: 66%
master: 66%
|
Ran
|
Jobs
2
|
Files
462
|
Run time
13min
|
Badge
Embed ▾
README BADGES
|
coverage: 64.33% (+0.3%) from 63.981%
web-flowNew Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 4 |
91.67 |
src/solvers/quant/ematch_instr.c | |
| 9 |
88.61 |
src/solvers/quant/ematch_instance.c | |
| 9 |
71.88 |
src/solvers/quant/ematch_instr_stack.c | |
| 14 |
80.56 |
src/solvers/quant/quant_cnstr.c | |
| 15 |
94.32 |
src/solvers/quant/ematch_execute.c | |
| 18 |
74.65 |
src/solvers/quant/quant_ematching.c | |
| 19 |
83.33 |
src/solvers/quant/quant_pattern.c | |
| 22 |
73.93 |
73.93% | src/solvers/quant/quant_solver.c |
| 40 |
51.81 |
src/context/quant_context_utils.c | |
| 56 |
73.83 |
src/solvers/quant/ematch_compile.c |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
26.21 |
-0.02% | src/api/yices_api.c |
| 2 |
88.89 |
0.0% | src/solvers/funs/fun_solver.h |
| 3 |
68.42 |
0.0% | src/utils/index_vectors.h |
| 6 |
45.45 |
0.0% | src/io/yices_pp.h |
| 7 |
77.58 |
3.19% | src/solvers/quant/ef_problem.c |
| 9 |
84.95 |
0.04% | src/exists_forall/ef_values.c |
| 22 |
73.93 |
73.93% | src/solvers/quant/quant_solver.c |
| 25 |
65.96 |
0.0% | src/terms/types.h |
| 32 |
58.22 |
-4.87% | src/solvers/egraph/egraph_explanations.c |
| 46 |
70.91 |
-0.87% | src/exists_forall/ef_skolemize.c |
| 61 |
69.67 |
-0.09% | src/context/context_solver.c |
| 81 |
0.0 |
0.0% | src/io/term_printer.c |
| 83 |
91.26 |
0.91% | src/solvers/funs/fun_solver.c |
| 171 |
45.68 |
-1.27% | src/io/yices_pp.c |
| 384 |
73.83 |
-0.06% | src/parser_utils/term_stack2.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 5 | 1396.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 462 |
64.33 |
Travis Job 1396.5 | |
| 10 | 1396.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 |
0.0 |
Travis Job 1396.10 |
