SRI-CSL / yices2 / 26997378460
69%
master: 69%

LAST BUILD BRANCH: L2O_calc_update
DEFAULT BRANCH: master
Ran
Jobs 1
Files 486
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: 68.786% (-0.01%) from 68.798%
26997378460

Pull #637

github

disteph 
api: fix generalize model array return type; commit supported by Codex/GPT5.5
Pull Request #637: Small fixes: mcsat null-pointer UB and generalize_model_array return type

1 of 5 new or added lines in 2 files covered. (20.0%)

975 existing lines in 9 files now uncovered.

87467 of 127158 relevant lines covered (68.79%)

1623637.56 hits per line

Uncovered Changes

Lines Coverage ∆ File
4
48.71
 0.0% src/api/yices_api.c

Coverage Regressions

Lines Coverage ∆ File
774
52.13
 -0.2% src/frontend/smt2/smt2_commands.c
116
78.05
 -0.02% src/mcsat/na/na_plugin.c
30
91.54
 -0.11% src/mcsat/uf/uf_plugin.c
24
71.78
 -0.09% src/mcsat/bv/bv_feasible_set_db.c
23
79.91
 -0.04% src/mcsat/ff/ff_plugin.c
5
78.63
 -1.37% src/mcsat/ff/ff_plugin_explain.c
1
59.7
 -1.49% src/frontend/smt2/smt2_type_printer.c
1
73.28
 -0.14% src/io/pretty_printer.c
1
81.36
 -0.04% src/terms/term_manager.c
Jobs
ID Job ID Ran Files Coverage
1 26997378460.1 486
68.79
 GitHub Action Run
Source Files on build 26997378460