Reduce size of generator to speed up test

hazelgrove · Dec 15, 2024 · f988005 · f988005
1 parent f90e146
commit f988005
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lmenhir/AST.re b/src/haz3lmenhir/AST.re
@@ -186,7 +186,7 @@ let arb_exp_sized: QCheck.arbitrary(exp) =
 
     let gen: Gen.t(exp) =
       QCheck.Gen.sized_size(
-        QCheck.Gen.int_range(0, 10), // Currently only size 10
+        QCheck.Gen.int_range(0, 5), // Currently only size 10
         QCheck.Gen.fix((self, n) => {
           switch (n) {
           | 0 => leaf.gen