25387369495
67%
master: 67%

Ran 05 May 2026 04:41PM UTC

Jobs 1

Files 486

Run time 2min

Badge

Embed ▾

Committed 05 May 2026 03:58PM UTC coverage: 66.711%. First build

Build # 25387369495

Build Type

push

github

Committed by

disteph

Commit Message

test_issue_615: replace assert() with CHECK() macro

CI builds the api tests with -DNDEBUG -Werror=unused-variable, which
turned every assert() into a no-op and produced 'unused variable s'
errors on the smt_status_t locals.

Replace assert() with a small CHECK() macro that is always live and
calls exit(1) on failure, so the test fails as intended in both debug
and release builds. Drop the now-unused <assert.h> include.

Coverage Stats

83505 of 125175 relevant lines covered (66.71%)

1644033.2 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	25387369495.1	05 May 2026 04:41PM UTC	486	66.71	GitHub Action Run

SRI-CSL / yices2 / 25387369495
67%
master: 67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25387369495

SRI-CSL / yices2 / 25387369495 67% master: 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25387369495

SRI-CSL / yices2 / 25387369495
67%
master: 67%

README BADGES
x