28727772696
71%

Ran 05 Jul 2026 03:17AM UTC

Jobs 1

Files 496

Run time 1min

Badge

Embed ▾

Committed 05 Jul 2026 03:07AM UTC coverage: 70.062%. Remained the same

Build # 28727772696

Build Type

push

github

Committed by

web-flow

Commit Message

Add regression test for issue #74 (#650)

* Add regression test for issue #74

The QF_AUFLIA instance from the issue made the simplex integer check
branch forever on a variable with only one bound (fixed since 395522de
by forcing restarts during branch & bound, plus the Gomory cut fallback
from 14d675fc). Run with --incremental so the simplex branch-and-bound
path is exercised; default mode is solved by preprocessing.

* Add Ahmed Irfan to the developer list

Coverage Stats

94013 of 134185 relevant lines covered (70.06%)

1607573.73 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28727772696.1	05 Jul 2026 03:17AM UTC	496	70.06	GitHub Action Run

SRI-CSL / yices2 / 28727772696
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28727772696

SRI-CSL / yices2 / 28727772696 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28727772696

SRI-CSL / yices2 / 28727772696
71%

README BADGES
x