whiley_test_file 0.6.2

original.name="ListGenerator_Valid_10"
======
>>> main.whiley
function f() -> (int[][] ys):
    return [[0]; 1]

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

---