1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
original.name="StaticVar_Valid_13" ====== >>> main.whiley int var = 0 public export method test(): if var < 0: return else: // int i = 0 // do: i = i + 1 var = var + 1 while i < 10 where i > 0 && var > 0 // assert var > 0 ---