whiley_test_file 0.6.2

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

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

---