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

SRI-CSL / yices2 / 12367760548
65%

Build:
DEFAULT BRANCH: master
Ran 17 Dec 2024 06:50AM UTC
Jobs 1
Files 486
Run time 2min
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

17 Dec 2024 06:41AM UTC coverage: 65.285% (-0.6%) from 65.92%
12367760548

push

github

web-flow
Fixes GitHub coverage issue (#544)

* Update action.yml

* Update action.yml

81020 of 124102 relevant lines covered (65.29%)

1509382.01 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
2
77.17
-0.19% src/mcsat/nra/nra_plugin.c
2
50.0
-50.0% src/terms/term_manager.h
2
75.0
-25.0% src/terms/polynomials.h
2
89.47
-10.53% src/terms/balanced_arith_buffers.h
2
97.22
-2.78% src/terms/rationals.h
2
93.1
-6.9% src/solvers/egraph/egraph.h
2
95.65
-4.35% src/terms/poly_buffer.h
2
88.89
-11.11% src/solvers/funs/fun_solver.h
2
90.01
-0.29% src/mcsat/preprocessor.c
2
89.47
-10.53% src/frontend/smt2/attribute_values.h
2
66.67
-33.33% src/utils/generic_heap.h
2
81.82
-18.18% src/io/yices_pp.h
2
66.67
-33.33% src/io/writer.h
2
95.35
-4.65% src/solvers/cdcl/gates_hash_table.h
2
87.5
-12.5% src/parser_utils/term_stack2.h
2
95.24
-2.32% src/solvers/bv/bvpoly_dag.h
2
71.43
-28.57% src/model/fun_maps.h
3
87.85
-0.64% src/mcsat/uf/uf_plugin.c
3
62.99
-0.45% src/mcsat/nra/nra_plugin_explain.c
3
64.16
-0.21% src/model/concrete_values.c
3
69.64
-0.67% src/context/context_solver.c
4
93.22
-6.78% src/terms/bit_expr.h
4
80.95
-19.05% src/solvers/egraph/theory_explanations.h
4
87.5
-12.5% src/io/pretty_printer.h
4
50.0
-50.0% src/io/reader.h
4
60.0
-40.0% src/solvers/floyd_warshall/rdl_floyd_warshall.h
4
83.33
-16.67% src/solvers/bv/bv_atomtable.h
4
0.0
-100.0% src/utils/sparse_arrays.h
4
87.5
-12.5% src/solvers/cdcl/smt_core_base_types.h
4
50.0
-50.0% src/terms/ite_stack.h
5
67.58
-1.52% src/mcsat/value.c
5
84.85
-15.15% src/terms/bvarith64_buffers.h
5
95.0
-5.0% src/terms/extended_rationals.h
5
28.57
-71.43% src/utils/int_harray_store.h
6
68.42
-31.58% src/utils/index_vectors.h
6
57.14
-42.86% src/solvers/bv/bvsolver.h
6
70.1
-0.68% src/terms/rationals.c
6
95.16
-4.84% src/solvers/egraph/egraph_utils.h
6
83.78
-16.22% src/terms/bvlogic_buffers.h
6
92.11
-7.89% src/solvers/egraph/egraph_base_types.h
7
80.68
-0.3% src/terms/term_manager.c
8
33.33
-66.67% src/mcsat/tracing.h
8
89.33
-10.67% src/solvers/simplex/arith_vartable.h
8
0.0
0.0% src/utils/int_bags.h
10
26.92
-12.82% src/model/model_queries.c
10
71.43
-28.57% src/terms/mpq_aux.h
10
92.37
-7.63% src/solvers/cdcl/smt_core.h
11
66.67
-33.33% src/terms/bvarith_buffers.h
11
32.31
-16.92% src/utils/string_utils.c
12
85.37
-14.63% src/solvers/simplex/simplex.h
12
88.79
-11.21% src/terms/rba_buffer_terms.c
12
73.91
-26.09% src/terms/bvpoly_buffers.h
12
83.56
-16.44% src/model/concrete_values.h
13
79.63
-0.83% src/terms/term_utils.c
13
94.86
-5.14% src/terms/terms.h
16
0.0
0.0% src/solvers/cdcl/new_sat_solver.h
17
57.43
-1.91% src/terms/balanced_arith_buffers.c
21
78.18
-1.55% src/mcsat/solver.c
26
77.97
-22.03% src/context/context_utils.h
28
87.77
-12.23% src/mcsat/bv/bv_utils.h
30
73.21
-26.79% src/terms/types.h
60
0.0
-64.52% src/utils/sparse_arrays.c
98
7.86
-42.79% src/api/context_config.c
301
26.36
-5.79% src/api/yices_api.c
Jobs
ID Job ID Ran Files Coverage
1 12367760548.1 17 Dec 2024 06:50AM UTC 486
65.29
GitHub Action Run
Source Files on build 12367760548
  • Tree
  • List 486
  • Changed 299
  • Source Changed 0
  • Coverage Changed 110
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 1cb3967e on github
  • Prev Build on master (#12283872279)
  • Next Build on master (#12474665476)
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

© 2025 Coveralls, Inc