whiley_test_file 0.6.2

original.name="ListGenerator_Valid_5"
======
>>> main.whiley


function f(int[] x) -> int:
    return |x|

public export method test() :
    int[] arr = [0;0]
    assume f(arr) == 0

---