Skip to content

Commit f5d4363

Browse files
committed
Add test from issue
1 parent b2779c4 commit f5d4363

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

lib/aiken/fuzz.test.ak

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -642,3 +642,10 @@ fn prop_tuple2_to_tuple9() -> Fuzzer<Bool> {
642642
test prop_tuples(match via prop_tuple2_to_tuple9()) {
643643
match
644644
}
645+
646+
test property_test(vs via fuzz.list_between(fuzz.constant(Void), 5, 10)) fail {
647+
// DO NOT MODIFY BELOW //
648+
let len = vs |> list.length
649+
len < 5
650+
// DO NOT MODIFY ABOVE //
651+
}

0 commit comments

Comments
 (0)