tavor
tavor copied to clipboard
Decide on what we should do with real endless loops
A = "a" B
B = "b" A
START = A
This loop can never exit, what should happen here if we unroll?