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

Open

CatarinaGamboa wants to merge 3 commits into

mainfrom

fix/306-loop-condition

Commits on Oct 2, 2026

Assume loop conditions in loop bodies, soundly (#306)

CatarinaGamboa
and
claude
committed
7f023ee
Havoc fields and object state in loops, fix continue before for update

CatarinaGamboa
and
claude
committed
c955190
Test loop violation reached after a known first iteration
CatarinaGamboa
committed
3edab83