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

15 lines
305 B
Python

# For Loop using an range() expression as its iterable, additionally reassigning the target on each iteration
@extern
def output_int32(x: int32):
...
def run() -> int32:
i = 0
for i in range(10):
output_int32(i)
i = 0
output_int32(i)
output_int32(i)
return 0