1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="While_Invalid_2" ====== >>> main.whiley public export method test(int[][] args) -> int: int i = 0 int r = 0 // while i < |args| where j > 0: r = r + |args[i]| // return r --- E407 main.whiley 5,27