SRI-CSL / yices2 / 9225189528
66%
master: 66%

LAST BUILD BRANCH: mcsat-target-best
DEFAULT BRANCH: master
Ran
Jobs 1
Files 487
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
coverage: 64.72% (-1.0%) from 65.728%
9225189528

Pull #513

github

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

818 of 3223 new or added lines in 59 files covered. (25.38%)

14 existing lines in 10 files now uncovered.

80132 of 123813 relevant lines covered (64.72%)

1494021.56 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
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
75.75
 0.0% src/frontend/smt2/smt2_parser.c
2
94.87
 src/mcsat/unit_info.c
3
88.3
 -0.21% src/context/context_simplifier.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
11
68.48
 -2.27% 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
73.66
 -3.31% src/mcsat/utils/value_hash_map.c
15
0.0
 0.0% src/io/type_printer.c
19
65.54
 -1.44% src/terms/rationals.c
20
86.78
 -4.53% src/frontend/smt2/smt2_lexer.c
22
79.56
 -1.14% src/terms/term_utils.c
26
49.3
 -0.12% src/frontend/smt2/smt2_commands.c
28
73.33
 src/mcsat/utils/lp_data.c
29
86.45
 -3.72% src/mcsat/preprocessor.c
33
72.43
 -1.8% src/frontend/smt2/smt2_term_stack.c
33
51.24
 -2.6% src/io/yices_pp.c
38
31.8
 -0.23% src/api/yices_api.c
40
58.99
 -1.67% src/terms/balanced_arith_buffers.c
45
37.7
 -1.73% src/terms/types.c
46
77.48
 -4.17% src/model/model_eval.c
48
86.83
 -3.2% src/terms/terms.c
50
61.29
 -2.17% src/model/concrete_values.c
52
0.0
 src/mcsat/ff/ff_libpoly.c
52
0.0
 src/mcsat/ff/ff_plugin_internal.c
52
71.58
 src/mcsat/utils/lp_constraint_db.c
54
64.47
 src/mcsat/nra/nra_libpoly.c
56
69.4
 src/mcsat/utils/lp_utils.c
86
63.54
 -4.65% src/mcsat/nra/nra_plugin_explain.c
116
77.24
 -4.0% src/terms/term_manager.c
137
0.0
 src/mcsat/utils/value_version_set.c
176
68.4
 -4.3% src/parser_utils/term_stack2.c
270
0.0
 src/mcsat/ff/ff_feasible_set_db.c
370
0.0
 src/mcsat/ff/ff_plugin_explain.c
380
22.29
 src/mcsat/ff/ff_plugin.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
66.12
 0.0% src/mcsat/variable_db.c
1
10.83
 -0.43% src/io/concrete_value_printer.c
1
58.99
 -1.67% src/terms/balanced_arith_buffers.c
1
86.07
 -1.43% src/context/shared_terms.c
1
63.54
 -4.65% src/mcsat/nra/nra_plugin_explain.c
1
68.4
 -4.3% 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
49.3
 -0.12% src/frontend/smt2/smt2_commands.c
4
72.43
 -1.8% src/frontend/smt2/smt2_term_stack.c
Jobs
ID Job ID Ran Files Coverage
1 9225189528.1 1695
65.39
 GitHub Action Run
Source Files on build 9225189528