28079222251
69%

Ran 24 Jun 2026 06:26AM UTC

Jobs 1

Files 493

Run time 2min

Badge

Embed ▾

Committed 24 Jun 2026 06:15AM UTC coverage: 69.296%. Remained the same

Build # 28079222251

Build Type

push

github

Committed by

ahmed-irfan

Commit Message

Merge 2.8.0_doc_updates branch; resolve conflicts in favour of fuller descriptions

The PR branch added Since 2.8.0 markers and shorter descriptions for
YICES_GEN_BY_PROJ_WIDE, yices_generalize_model_with_budget, and the
MCSAT assumption type error. Our commit had more detailed descriptions
and the parameter list for the _with_budget functions. Resolutions:

- Keep our detailed YICES_GEN_BY_PROJ_WIDE comment in yices.h and
  yices_types.h; discard the PR's shorter paraphrase.
- Keep our full parameter list for yices_generalize_model_with_budget;
  incorporate the PR's more precise cube_budget fallback explanation.
- Keep our full MCSAT type error description (lists permitted types);
  discard the PR's shorter form.
- Minor: adopt the PR's more precise YICES_GEN_DEFAULT bullet wording
  ("the legacy projection mode YICES_GEN_BY_PROJ is used").

Coverage Stats

90718 of 130913 relevant lines covered (69.3%)

1563335.64 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28079222251.1	24 Jun 2026 06:26AM UTC	493	69.3	GitHub Action Run

SRI-CSL / yices2 / 28079222251
69%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28079222251

SRI-CSL / yices2 / 28079222251 69%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28079222251

SRI-CSL / yices2 / 28079222251
69%

README BADGES
x