diff --git a/test-data/loop.yaml b/test-data/loop.yaml index 0bfc83c45..502b336a7 100644 --- a/test-data/loop.yaml +++ b/test-data/loop.yaml @@ -402,9 +402,9 @@ options: ["termination"] pre: [r0.type=number] code: - : | - if r0 > 0 goto - exit + : | + if r0 > 0 goto + exit post: - "pc[0]=[1, +oo]"