2
89%
main: 89%

Ran 11 Feb 2026 12:09AM UTC

Files 77

Run time 2s

Badge

Embed ▾

Committed 10 Feb 2026 08:02PM UTC coverage: 84.534% (+0.1%) from 84.437%

Job # 21886055111.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>

Coverage Stats

8986 of 10630 relevant lines covered (84.53%)

1479527.04 hits per line

Alan-Jowett / ebpf-verifier / 21886055111 / 2
89%
main: 89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 21886055111.2

Alan-Jowett / ebpf-verifier / 21886055111 / 2 89% main: 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job run-Debug - 21886055111.2

Alan-Jowett / ebpf-verifier / 21886055111 / 2
89%
main: 89%

README BADGES
x