21880446004

Committed 10 Feb 2026 08:02PM UTC coverage: 86.783% (+0.08%) from 86.699%

Build # 21880446004

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

33 of 34 new or added lines in 2 files covered. (97.06%)

2 existing lines in 2 files now uncovered.

9370 of 10797 relevant lines covered (86.78%)

3129900.88 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

98.03

/src/crab/splitdbm/split_dbm.cpp

Build SHA Not Found

The commit SHA "fb6c0e31260139f3517f448575b03f4833d58091" was not found in your repository, so the file cannot be loaded. This may be because you posted from a local development environment, or your CI created an ephemeral commit.

vbpf / prevail / 21880446004

Source File Press 'n' to go to next uncovered line, 'b' for previous

Build SHA Not Found

Source File
Press 'n' to go to next uncovered line, 'b' for previous