28645791293
71%

Ran 03 Jul 2026 07:51AM UTC

Jobs 1

Files 496

Run time 3min

Badge

Embed ▾

Committed 03 Jul 2026 07:35AM UTC coverage: 70.062% (+0.2%) from 69.901%

Build # 28645791293

Build Type

push

github

Committed by

web-flow

Commit Message

Add model clone/project APIs and model-local value export (#649)

* Fix model defined term collection

* Add model value export

* Add model clone and project

* Flatten model aliases before append

* Add zero-division model functions

* Document model clone and project APIs

* Make model clone test fail in release builds

* Print API test output on failure

* Trace model clone API subtests

* Trace project evaluation failure path

* Handle unevaluable direct model aliases

Coverage Stats

330 of 364 new or added lines in 3 files covered. (90.66%)

204 existing lines in 4 files now uncovered.

94013 of 134185 relevant lines covered (70.06%)

1594498.2 hits per line

Uncovered Changes

Lines	Coverage	∆	File
16	53.46	2.7%	src/api/yices_api.c
16	80.34	1.46%	src/model/concrete_values.c
2	58.82	10.11%	src/model/model_queries.c

Coverage Regressions

Lines	Coverage	∆	File
177	82.4	-0.02%	src/solvers/cdcl/smt_core.c
16	80.17	1.64%	src/exists_forall/efsolver.c
7	53.46	2.7%	src/api/yices_api.c
4	89.03	3.73%	src/exists_forall/ef_values.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	28645791293.1	03 Jul 2026 07:51AM UTC	496	70.06	GitHub Action Run

SRI-CSL / yices2 / 28645791293
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 28645791293

SRI-CSL / yices2 / 28645791293 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Coverage Regressions

Jobs

Source Files on build 28645791293

SRI-CSL / yices2 / 28645791293
71%

README BADGES
x