• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

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

Build:
Build:
LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran 02 Jul 2025 06:14PM UTC
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

02 Jul 2025 06:08PM UTC 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 02 Jul 2025 06:14PM UTC 418
60.35
GitHub Action Run
Source Files on build 16032530443
  • Tree
  • List 418
  • Changed 86
  • Source Changed 0
  • Coverage Changed 86
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Pull Request #582
  • PR Base - master (#16019077755)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc