2
87%
main: 87%

Ran 10 Feb 2026 08:55PM UTC

Files 76

Run time 3s

Badge

Embed ▾

Committed 10 Feb 2026 08:02PM UTC coverage: 85.899% (+0.09%) from 85.811%

Job # 21880446004.2

Build Type

push

github

Committed by

elazarg

Commit Message

Fix inverted is_stable predicate in close_after_widen

UnstableWrap::operator[] returned true for unstable vertices, but was
passed as the `is_stable` parameter to close_after_widen. This caused
Dijkstra recovery to run from stable vertices (no-op) instead of
unstable vertices, missing transitive edge tightenings after widening.

Negate the predicate so unstable vertices are correctly marked V_UNSTABLE
and recovery discovers shortest paths through them.

https://claude.ai/code/session_01XRADiTjoWyzfaoyhF2odaf
Signed-off-by: Claude Code <claude@anthropic.com>

Run Details

9058 of 10545 relevant lines covered (85.9%)

1712918.3 hits per line

vbpf / prevail / 21880446004 / 2
87%
main: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 21880446004.2

vbpf / prevail / 21880446004 / 2 87% main: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Release - 21880446004.2

vbpf / prevail / 21880446004 / 2
87%
main: 87%

README BADGES
x