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

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

Pull #131

travis-ci

web-flow 
setup to skip mcsat tests when not enabled
Pull Request #131: BV implementation of MCSAT

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

66593 of 105900 relevant lines covered (62.88%)

1288503.07 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.29
 6.61% 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
39.04
 1.33% 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.52
 0.35% src/frontend/smt2/smt2_commands.c
77
85.28
 src/mcsat/bv/bv_bdd_manager.c
81
82.47
 src/mcsat/bv/bv_evaluator.c
81
86.39
 src/mcsat/bv/bv_plugin.c
86
72.35
 src/mcsat/bv/bv_feasible_set_db.c
91
74.97
 -4.83% src/mcsat/solver.c
145
81.9
 src/mcsat/bv/bdd_computation.c
201
70.18
 src/mcsat/bv/explain/eq_ext_con.c
274
70.97
 src/mcsat/bv/explain/arith.c
303
72.48
 src/mcsat/eq/equality_graph.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
75.91
 -0.24% src/exists_forall/efsolver.c
1
91.53
 -1.69% src/mcsat/model.c
1
73.68
 -0.23% src/mcsat/utils/statistics.c
1
88.63
 8.07% src/mcsat/preprocessor.c
1
78.74
 3.7% src/terms/term_utils.c
1
89.47
 -0.66% src/mcsat/nra/libpoly_utils.c
1
81.23
 3.46% src/terms/bv_constants.c
1
76.04
 -0.1% src/solvers/floyd_warshall/idl_floyd_warshall.c
1
84.29
 6.61% src/context/context_simplifier.c
1
74.55
 0.3% src/terms/bv64_interval_abstraction.c
1
26.95
 1.06% src/utils/command_line.c
1
74.66
 -0.34% src/model/projection.c
2
83.65
 5.66% src/mcsat/watch_list_manager.c
2
74.97
 -4.83% src/mcsat/solver.c
3
83.51
 -5.81% src/mcsat/uf/uf_plugin.c
5
40.52
 0.35% src/frontend/smt2/smt2_commands.c
5
66.01
 -5.72% src/mcsat/conflict.c
Jobs
ID Job ID Ran Files Coverage
9 932.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 428
62.88
 Travis Job 932.9
10 932.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
Travis Job 932.10
Source Files on build 932