Skip to content

Make KaniIter for Range::len total so a symbolic range with start > end does not underflow - #4956

Open
kasimte wants to merge 8 commits into
model-checking:mainfrom
kasimte:kz-canary-1
Open

Make KaniIter for Range::len total so a symbolic range with start > end does not underflow#4956
kasimte wants to merge 8 commits into
model-checking:mainfrom
kasimte:kz-canary-1

Merge branch 'main' into kz-canary-1

abbea75
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 31, 2026 in 6s