whiley_test_file 0.6.2

original.name="ListGenerator_Valid_8"
======
>>> main.whiley
function f() -> (bool[] ys):
    return [false; 2]

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

---