whiley_test_file 0.6.2

original.name="Reference_Valid_41"
js.compile.ignore=true
======
>>> main.whiley
method m(&(int[]) x)
ensures *x == old(*x):
    // do nout   
    skip

public export method test():
    &(int[]) l = new [0,1]
    &(int[]) k = new [1,2]
    m(k)
    assert (*l) == [0,1]
    assert (*k) == [1,2]

---