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