1 2 3 4 5 6 7 8 9 10 11 12 13 14
original.name="Reference_Invalid_2" whiley.compile.ignore=true WhileyCompiler.issue=1144 ====== >>> main.whiley method assign<T>(&T x, &T y, T v1, T v2) ensures *x == v1 ensures *y == v2: // Broken if x == y *x = v1 *y = v2 ---