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

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

Build:
Build:
LAST BUILD BRANCH: 2.7.0
DEFAULT BRANCH: master
Ran 24 May 2024 02:09PM UTC
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

24 May 2024 02:01PM UTC 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 24 May 2024 02:09PM UTC 1695
65.39
GitHub Action Run
Source Files on build 9225189528
  • Tree
  • List 487
  • Changed 188
  • Source Changed 0
  • Coverage Changed 158
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • Pull Request #513
  • PR Base - master (#8919288106)
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