SRI-CSL / yices2 / 911
63%
master: 66%

LAST BUILD BRANCH: reintroduce-interval-approx-nra
DEFAULT BRANCH: master
Ran
Jobs 2
Files 428
Run time 8min
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
911

Pull #131

travis-ci

web-flow 
fix: process variables that appear later in uninterpreted terms
Pull Request #131: BV implementation of MCSAT

7653 of 7653 new or added lines in 42 files covered. (100.0%)

66590 of 105891 relevant lines covered (62.89%)

1293544.45 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
92.61
 0.48% src/mcsat/bool/bool_plugin.c
2
78.1
 1.15% src/context/context.c
2
76.22
 1.08% src/mcsat/nra/nra_plugin.c
4
84.38
 6.7% src/context/context_simplifier.c
5
73.68
 -0.23% src/mcsat/utils/statistics.c
6
48.51
 -3.06% src/frontend/common/parameters.c
6
62.39
 -1.89% src/mcsat/variable_db.c
8
93.33
 src/mcsat/bv/bv_utils.h
8
86.67
 src/mcsat/eq/merge_queue.c
13
29.51
 -0.08% src/frontend/yices/yices_reval.c
13
38.65
 0.93% src/frontend/yices_smt2.c
15
60.53
 src/mcsat/utils/value_vector.c
32
88.63
 8.07% src/mcsat/preprocessor.c
35
84.78
 src/mcsat/bv/explain/full_bv_sat.c
38
66.01
 -5.72% src/mcsat/conflict.c
39
66.67
 src/mcsat/bv/bv_explainer.c
39
57.69
 -0.58% src/mcsat/value.c
41
77.35
 src/mcsat/utils/value_hash_map.c
43
83.51
 -5.81% src/mcsat/uf/uf_plugin.c
43
81.06
 src/mcsat/utils/substitution.c
51
0.0
 src/mcsat/bv/explain/full_bv_trivial.c
65
0.0
 0.0% src/io/term_printer.c
70
40.65
 0.47% src/frontend/smt2/smt2_commands.c
77
85.28
 src/mcsat/bv/bv_bdd_manager.c
80
86.55
 src/mcsat/bv/bv_plugin.c
81
82.47
 src/mcsat/bv/bv_evaluator.c
86
72.35
 src/mcsat/bv/bv_feasible_set_db.c
91
74.97
 -4.83% src/mcsat/solver.c
144
82.02
 src/mcsat/bv/bdd_computation.c
201
70.22
 src/mcsat/bv/explain/eq_ext_con.c
274
70.88
 src/mcsat/bv/explain/arith.c
302
72.57
 src/mcsat/eq/equality_graph.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
73.68
 -0.23% src/mcsat/utils/statistics.c
1
88.63
 8.07% src/mcsat/preprocessor.c
1
0.0
 0.0% src/solvers/cdcl/new_sat_solver.c
1
89.47
 -0.66% src/mcsat/nra/libpoly_utils.c
2
83.65
 5.66% src/mcsat/watch_list_manager.c
2
40.65
 0.47% src/frontend/smt2/smt2_commands.c
2
74.97
 -4.83% src/mcsat/solver.c
3
83.51
 -5.81% src/mcsat/uf/uf_plugin.c
5
66.01
 -5.72% src/mcsat/conflict.c
Jobs
ID Job ID Ran Files Coverage
5 911.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON) 428
62.89
 Travis Job 911.5
6 911.6 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON) 0
Travis Job 911.6
Source Files on build 911