SRI-CSL / yices2 / 16032530443
65%
master: 65%

LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran
Jobs 1
Files 418
Run time 1min
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: 60.349% (-5.0%) from 65.357%
16032530443

Pull #582

github

web-flow 
Merge b7e09d316 into b3af64ab1
Pull Request #582: Update ci

63716 of 105580 relevant lines covered (60.35%)

1127640.75 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.33
 -16.67% src/context/context.h
1
94.12
 -5.88% src/parser_utils/tstack_internals.h
1
83.02
 -0.21% src/terms/bvpoly_buffers.c
1
97.24
 -0.69% src/utils/generic_heap.c
1
90.2
 -1.96% src/utils/indexed_table.c
1
77.38
 -0.4% src/utils/object_stores.c
1
83.17
 -0.48% src/utils/symbol_tables.c
2
78.95
 -10.53% src/frontend/smt2/attribute_values.h
2
81.25
 -6.25% src/io/pretty_printer.h
2
46.42
 1.29% src/model/literal_collector.c
2
86.75
 5.66% src/model/projection.c
2
90.73
 -0.06% src/solvers/bv/bvsolver.c
2
94.44
 -2.78% src/terms/rationals.h
2
71.43
 -1.79% src/terms/types.h
2
95.92
 10.2% src/utils/timeout.c
3
6.99
 -0.87% src/api/context_config.c
3
40.0
 -60.0% src/frontend/smt2/smt2_lexer.h
3
70.32
 -0.42% src/io/pretty_printer.c
3
68.75
 -18.75% src/parser_utils/term_stack2.h
3
92.11
 -7.89% src/terms/bv_constants.h
3
61.69
 -0.97% src/terms/polynomials.c
3
70.42
 -4.23% src/utils/int_queues.c
4
46.9
 -3.54% src/frontend/common/parameters.c
4
49.78
 -0.43% src/frontend/yices/yices_parser.c
4
45.45
 -36.36% src/io/yices_pp.h
4
28.77
 -5.48% src/parser_utils/lexer.c
4
47.62
 -19.05% src/utils/memalloc.c
5
58.97
 -12.82% src/frontend/common/assumptions_and_core.c
5
75.76
 -15.15% src/terms/bit_term_conversion.c
5
69.05
 -3.97% src/terms/pprod_table.c
5
87.5
 -7.81% src/utils/int_vectors.c
5
86.93
 -3.27% src/utils/ptr_hash_map.c
6
83.5
 -2.02% src/frontend/smt2/smt2_printer.c
6
87.5
 -3.41% src/utils/int_hash_map.c
7
73.97
 -9.59% src/model/concrete_values.h
7
73.94
 -2.12% src/terms/bv64_interval_abstraction.c
7
23.46
 -1.96% src/utils/command_line.c
8
14.94
 -1.59% src/io/model_printer.c
8
55.08
 -1.0% src/terms/bvarith_buffers.c
8
85.07
 -2.99% src/utils/pair_hash_map2.c
9
25.0
 -5.11% src/terms/term_explorer.c
10
35.29
 -14.71% src/io/reader.c
10
72.95
 -8.2% src/utils/string_buffers.c
11
26.37
 -0.53% src/frontend/yices/yices_reval.c
11
7.35
 -3.48% src/io/concrete_value_printer.c
11
60.87
 -11.96% src/model/models.c
11
75.51
 -1.86% src/terms/bvarith64_buffers.c
13
84.3
 -10.74% src/utils/int_hash_map2.c
14
15.58
 -18.18% src/io/tracer.c
14
12.5
 -87.5% src/io/tracer.h
18
86.88
 -1.42% src/context/context_simplifier.c
20
48.84
 -15.5% src/frontend/smt2/attribute_values.c
21
86.35
 -8.52% src/terms/terms.h
23
85.79
 -5.74% src/frontend/smt2/smt2_lexer.c
23
79.38
 -14.38% src/terms/bvarith64_buffer_terms.c
23
78.16
 -1.47% src/terms/term_utils.c
27
63.55
 -25.23% src/terms/rba_buffer_terms.c
30
30.24
 -4.02% src/frontend/yices_smt2.c
33
53.72
 -3.72% src/terms/balanced_arith_buffers.c
36
25.32
 -45.57% src/frontend/common/assumption_table.c
37
61.38
 -8.26% src/context/context_solver.c
39
54.7
 -9.65% src/terms/power_products.c
45
79.55
 -1.7% src/context/context.c
45
59.41
 -26.47% src/terms/bvarith_buffer_terms.c
45
75.21
 -5.36% src/terms/bv_constants.c
51
84.47
 -5.62% src/terms/bvlogic_buffers.c
53
35.64
 -5.18% src/terms/types.c
61
67.67
 -9.67% src/frontend/smt2/smt2_parser.c
62
46.83
 -49.21% src/frontend/smt2/smt2_model_printer.c
62
77.84
 -2.59% src/solvers/cdcl/smt_core.c
64
41.1
 -10.15% src/io/yices_pp.c
65
59.32
 -4.84% src/model/concrete_values.c
79
61.24
 -8.86% src/terms/rationals.c
99
0.0
 -53.23% src/utils/tuple_hash_map.c
110
24.87
 -56.99% src/context/assumption_stack.c
129
0.0
 -73.71% src/terms/bv_slices.c
135
64.59
 -10.91% src/frontend/smt2/smt2_term_stack.c
149
78.37
 -11.89% src/terms/terms.c
179
66.8
 -6.07% src/parser_utils/term_stack2.c
185
63.41
 -19.28% src/model/model_eval.c
186
72.6
 -8.08% src/terms/term_manager.c
220
0.0
 -14.75% src/io/term_printer.c
239
22.45
 -3.91% src/api/yices_api.c
256
42.97
 -7.25% src/frontend/smt2/smt2_commands.c
Jobs
ID Job ID Ran Files Coverage
1 16032530443.1 418
60.35
 GitHub Action Run
Source Files on build 16032530443