SRI-CSL / yices2 / 1431
65%
master: 66%

LAST BUILD BRANCH: reintroduce-interval-approx-nra
DEFAULT BRANCH: master
Ran
Jobs 2
Files 463
Run time 14min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 64.425% (+0.4%) from 63.981%
1431

Pull #259

travis-ci

web-flow 
Merge 8221ac156 into e51be0d6e
Pull Request #259: Quantifiers (ematching)

1548 of 1548 new or added lines in 24 files covered. (100.0%)

72950 of 113233 relevant lines covered (64.42%)

1448886.24 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
76.74
 4.95% src/exists_forall/ef_skolemize.c
2
84.73
 0.72% src/solvers/egraph/egraph.c
4
91.67
 src/solvers/quant/ematch_instr.c
4
94.37
 src/solvers/quant/rl_learner.c
5
79.4
 0.45% src/solvers/cdcl/smt_core.c
9
88.61
 src/solvers/quant/ematch_instance.c
13
87.38
 src/solvers/quant/quant_pattern.c
18
74.65
 src/solvers/quant/quant_ematching.c
20
37.5
 src/solvers/quant/ematch_instr_stack.c
23
73.56
 src/solvers/quant/quant_cnstr.c
25
80.8
 -0.52% src/context/context.c
37
85.99
 85.99% src/solvers/quant/quant_solver.c
46
83.27
 src/solvers/quant/ematch_execute.c
47
77.07
 src/solvers/quant/ematch_compile.c
90
6.25
 src/context/quant_context_utils.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
80.8
 -0.52% src/context/context.c
2
80.79
 -0.1% src/exists_forall/ef_analyze.c
2
0.0
 0.0% src/solvers/cdcl/new_sat_solver.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
97.41
 -2.2% src/mcsat/bv/explain/arith_utils.c
7
77.58
 3.19% src/solvers/quant/ef_problem.c
9
84.95
 0.04% src/exists_forall/ef_values.c
24
0.0
 0.0% src/mcsat/bv/explain/full_bv_trivial.c
25
65.96
 0.0% src/terms/types.h
33
47.69
 0.0% src/frontend/smt2/smt2_commands.c
36
76.74
 4.95% src/exists_forall/ef_skolemize.c
37
84.26
 0.0% src/mcsat/bv/explain/full_bv_sat.c
38
60.29
 0.0% src/mcsat/bv/bv_explainer.c
44
72.83
 -0.05% src/solvers/bv/bvpoly_dag.c
54
0.0
 0.0% src/model/model_support.c
61
69.67
 -0.09% src/context/context_solver.c
79
86.72
 0.0% src/mcsat/bv/bv_plugin.c
81
0.0
 0.0% src/io/term_printer.c
81
91.62
 0.0% src/solvers/bv/bvsolver.c
82
68.77
 0.0% src/mcsat/bv/explain/arith_intervals.c
83
81.71
 0.0% src/mcsat/bv/bdd_computation.c
83
91.26
 0.91% src/solvers/funs/fun_solver.c
102
75.94
 0.3% src/mcsat/bv/explain/arith_norm.c
171
45.68
 -1.27% src/io/yices_pp.c
179
0.0
 0.0% src/solvers/egraph/egraph_printer.c
197
68.03
 0.0% src/mcsat/bv/explain/eq_ext_con.c
284
60.9
 -0.2% src/mcsat/bv/explain/arith.c
384
73.83
 -0.06% src/parser_utils/term_stack2.c
Jobs
ID Job ID Ran Files Coverage
5 1431.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 463
64.42
 Travis Job 1431.5
10 1431.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
0.0
 Travis Job 1431.10
Source Files on build 1431