25541286667
67%
master: 71%

Ran 08 May 2026 06:53AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Embed ▾

Committed 08 May 2026 06:43AM UTC coverage: 67.079%. Remained the same

Build # 25541286667

Build Type

push

github

Committed by

disteph

Commit Message

mcsat: fix stale lifetime comment on label-substitution helper

The comment claimed the substitution runs 'before popping the temporary
context frame', but the caller in context_solver.c pops first, then
calls this helper. Rewrite the comment to match the actual ordering and
spell out why the temporary labels are still valid post-pop (mcsat_pop
does not invoke term_table_gc).

No behaviour change.

Coverage Stats

84651 of 126196 relevant lines covered (67.08%)

1631394.09 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	25541286667.1	08 May 2026 06:53AM UTC	486	67.08	GitHub Action Run

SRI-CSL / yices2 / 25541286667
67%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25541286667

SRI-CSL / yices2 / 25541286667 67% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 25541286667

SRI-CSL / yices2 / 25541286667
67%
master: 71%

README BADGES
x