Skip to content

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

Open
CatarinaGamboa wants to merge 3 commits into
mainfrom
fix/306-loop-condition
Open

Assume loop conditions in loop bodies with sound loop havoc#320
CatarinaGamboa wants to merge 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