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

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Jobs 1
Files 487
Run time 5min
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: 65.988% (+0.3%) from 65.728%
9226448713

Pull #513

github

web-flow 
Merge da66d3d5d into f06761440
Pull Request #513: Finite Field support

2396 of 3347 new or added lines in 66 files covered. (71.59%)

18 existing lines in 12 files now uncovered.

81769 of 123915 relevant lines covered (65.99%)

1493770.28 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
91.52
 0.21% src/frontend/smt2/smt2_lexer.c
1
90.86
 13.89% src/mcsat/utils/value_hash_map.c
1
83.65
 0.0% src/mcsat/watch_list_manager.c
2
86.07
 -1.43% src/context/shared_terms.c
2
84.27
 -0.22% src/context/symmetry_breaking.c
2
77.34
 1.58% src/frontend/smt2/smt2_parser.c
2
96.15
 src/mcsat/ff/ff_plugin_internal.c
2
90.3
 0.14% src/mcsat/preprocessor.c
2
94.87
 src/mcsat/unit_info.c
2
89.14
 -0.05% src/solvers/simplex/simplex.c
3
88.3
 -0.21% src/context/context_simplifier.c
3
82.55
 0.9% src/model/model_eval.c
3
0.0
 0.0% src/solvers/simplex/diophantine_systems.c
3
70.33
 3.35% src/terms/rationals.c
5
64.36
 0.91% src/model/concrete_values.c
5
90.26
 0.23% src/terms/terms.c
6
85.52
 -1.76% src/frontend/smt2/smt2_printer.c
6
77.68
 0.7% src/mcsat/nra/nra_plugin.c
6
67.19
 -2.17% src/model/val_to_term.c
6
62.66
 -1.24% src/terms/polynomials.c
7
59.7
 -6.97% src/frontend/smt2/smt2_type_printer.c
7
30.11
 -1.06% src/terms/term_explorer.c
8
80.46
 -0.24% src/terms/term_utils.c
11
69.7
 -1.06% src/mcsat/value.c
12
10.83
 -0.43% src/io/concrete_value_printer.c
13
33.09
 0.51% src/frontend/yices_smt2.c
13
14.72
 -0.13% src/io/term_printer.c
13
92.9
 src/mcsat/utils/lp_utils.c
13
40.82
 1.39% src/terms/types.c
15
75.51
 1.27% src/frontend/smt2/smt2_term_stack.c
15
0.0
 0.0% src/io/type_printer.c
20
80.95
 src/mcsat/utils/lp_data.c
21
32.13
 0.09% src/api/yices_api.c
23
57.41
 src/mcsat/ff/ff_libpoly.c
26
49.3
 -0.12% src/frontend/smt2/smt2_commands.c
27
80.29
 src/mcsat/utils/value_version_set.c
30
80.98
 -0.25% src/terms/term_manager.c
33
51.24
 -2.6% src/io/yices_pp.c
36
56.16
 -6.81% src/mcsat/utils/substitution.c
43
59.35
 -1.31% src/terms/balanced_arith_buffers.c
51
72.13
 src/mcsat/utils/lp_constraint_db.c
53
72.57
 -0.13% src/parser_utils/term_stack2.c
54
65.16
 src/mcsat/nra/nra_libpoly.c
74
80.0
 src/mcsat/ff/ff_plugin_explain.c
77
72.2
 src/mcsat/ff/ff_feasible_set_db.c
86
63.54
 -4.65% src/mcsat/nra/nra_plugin_explain.c
107
78.3
 src/mcsat/ff/ff_plugin.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
66.12
 0.0% src/mcsat/variable_db.c
1
0.0
 0.0% src/solvers/simplex/diophantine_systems.c
1
10.83
 -0.43% src/io/concrete_value_printer.c
1
86.07
 -1.43% src/context/shared_terms.c
1
63.54
 -4.65% src/mcsat/nra/nra_plugin_explain.c
1
72.57
 -0.13% src/parser_utils/term_stack2.c
1
30.11
 -1.06% src/terms/term_explorer.c
1
0.0
 0.0% src/io/type_printer.c
2
75.51
 1.27% src/frontend/smt2/smt2_term_stack.c
2
49.3
 -0.12% src/frontend/smt2/smt2_commands.c
2
59.35
 -1.31% src/terms/balanced_arith_buffers.c
4
79.53
 -0.17% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 9226448713.1 1695
66.73
 GitHub Action Run
Source Files on build 9226448713