1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
original.name="Reference_Valid_28" js.compile.ignore=true ====== >>> main.whiley method m(&int x) ensures *x > old(*x): // increment *x = *x + 1 public export method test(): &int l = new 0 &int k = new 1 m(k) assert (*l) == 0 assert (*k) > 1 ---