Skip to content

Turn "label: goto label;" or "while(cond);" into assume

e672e0d
Select commit
Loading
Failed to load commit list.
Merged

Turn "label: goto label;" or "while(cond);" into assume #375

Turn "label: goto label;" or "while(cond);" into assume
e672e0d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs