forked from M-Labs/nac3
1
0
Fork 0
nac3/nac3standalone/demo/src/loop_cont_break.py

21 lines
329 B
Python

@extern
def output_int32(x: int32):
...
def run() -> int32:
for i in range(4):
output_int32(i)
if i < 2:
continue
else:
break
n = [0, 1, 2, 3]
for i in n:
output_int32(i)
if i < 2:
continue
else:
break
return 0