Skip to content

Commit

Permalink
PR feedback
Browse files Browse the repository at this point in the history
Signed-off-by: Alan Jowett <[email protected]>
  • Loading branch information
Alan Jowett committed Oct 23, 2024
1 parent fdca528 commit d22c3cc
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions test-data/loop.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -402,9 +402,9 @@ options: ["termination"]

pre: [r0.type=number]
code:
<start>: |
if r0 > 0 goto <start>
exit
<start>: |
if r0 > 0 goto <start>
exit
post:
- "pc[0]=[1, +oo]"
Expand Down

0 comments on commit d22c3cc

Please sign in to comment.