28849461968
71%

Ran 07 Jul 2026 07:43AM UTC

Jobs 1

Files 496

Run time 1min

Badge

Embed ▾

Committed 07 Jul 2026 07:32AM UTC coverage: 71.211% (+0.02%) from 71.191%

Build # 28849461968

Build Type

push

github

Committed by

web-flow

Commit Message

Add regression test for issue #165 (QF_UFBV incremental) (#654)

The QF_UFBV benchmark attached to issue #165 previously ran for hours;
it now solves in under a second. Add it as a regression test to guard
against both a re-hang and incorrect results. All check-sat verdicts
match z3 4.16; the two get-value results are logically forced (identical
across yices SAT engines and build modes), so the gold is portable.

Coverage Stats

95564 of 134198 relevant lines covered (71.21%)

1661845.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	28849461968.1	07 Jul 2026 07:43AM UTC	496	71.21	GitHub Action Run

SRI-CSL / yices2 / 28849461968
71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28849461968

SRI-CSL / yices2 / 28849461968 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 28849461968

SRI-CSL / yices2 / 28849461968
71%

README BADGES
x