Skip to content

Assume loop conditions in loop bodies with sound loop havoc - #320

Merged
CatarinaGamboa merged 3 commits into
mainfrom
fix/306-loop-condition
Oct 6, 2026
Merged

Assume loop conditions in loop bodies with sound loop havoc#320
CatarinaGamboa merged 3 commits into
mainfrom
fix/306-loop-condition

Test loop violation reached after a known first iteration

3edab83
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar