whiley_test_file 0.6.2

original.name="Old_Valid_2"
js.compile.ignore=true
======
>>> main.whiley
method m(&int p)
ensures *p > old(*p):
    *p = *p + 1

public export method test():
    &int p = new 1
    m(p)
    assert *p > 1
    
---