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

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

Pull #131

travis-ci

web-flow 
fix travis
Pull Request #131: BV implementation of MCSAT

8908 of 8908 new or added lines in 49 files covered. (100.0%)

67984 of 107906 relevant lines covered (63.0%)

1410756.2 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
92.61
 0.48% src/mcsat/bool/bool_plugin.c
1
99.46
 src/mcsat/bv/explain/arith_utils.c
2
78.44
 1.14% src/context/context.c
2
76.22
 1.19% src/mcsat/nra/nra_plugin.c
3
87.9
 1.6% src/context/context_simplifier.c
5
62.22
 5.56% 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
86.67
 src/mcsat/eq/merge_queue.c
13
29.51
 -0.08% src/frontend/yices/yices_reval.c
13
37.18
 0.16% src/frontend/yices_smt2.c
15
90.91
 src/mcsat/bv/bv_utils.h
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
37
58.65
 0.39% src/mcsat/value.c
38
66.99
 -4.74% src/mcsat/conflict.c
41
77.35
 src/mcsat/utils/value_hash_map.c
43
83.51
 -5.63% 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
54
60.29
 src/mcsat/bv/bv_explainer.c
65
0.0
 0.0% src/io/term_printer.c
70
39.95
 -0.34% src/frontend/smt2/smt2_commands.c
77
85.28
 src/mcsat/bv/bv_bdd_manager.c
81
86.39
 src/mcsat/bv/bv_plugin.c
84
82.46
 src/mcsat/bv/bv_evaluator.c
86
72.35
 src/mcsat/bv/bv_feasible_set_db.c
91
74.66
 -4.74% src/mcsat/solver.c
104
68.77
 src/mcsat/bv/explain/arith_intervals.c
121
75.75
 src/mcsat/bv/explain/arith_norm.c
145
81.9
 src/mcsat/bv/bdd_computation.c
265
67.92
 src/mcsat/bv/explain/eq_ext_con.c
303
72.48
 src/mcsat/eq/equality_graph.c
352
60.98
 src/mcsat/bv/explain/arith.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
37.18
 0.16% src/frontend/yices_smt2.c
1
89.47
 -0.66% src/mcsat/nra/libpoly_utils.c
1
88.63
 8.07% src/mcsat/preprocessor.c
1
62.22
 5.56% src/mcsat/utils/statistics.c
2
39.95
 -0.34% src/frontend/smt2/smt2_commands.c
2
66.99
 -4.74% src/mcsat/conflict.c
2
74.66
 -4.74% src/mcsat/solver.c
2
83.65
 5.66% src/mcsat/watch_list_manager.c
3
83.51
 -5.63% src/mcsat/uf/uf_plugin.c
Jobs
ID Job ID Ran Files Coverage
9 1048.9 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 440
63.0
 Travis Job 1048.9
10 1048.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
Travis Job 1048.10
Source Files on build 1048