SRI-CSL / yices2 / 12367760548
65%

DEFAULT BRANCH: master
Ran
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
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 486
65.29
 GitHub Action Run
Source Files on build 12367760548