Increase quickcheck test size to help find bugs

hazelgrove · Dec 17, 2024 · 39f2999 · 39f2999
1 parent 956fb32
commit 39f2999
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/test/Test_Menhir.re b/test/Test_Menhir.re
@@ -248,8 +248,8 @@ let i = ref(0);
 let qcheck_menhir_maketerm_equivalent_test =
   QCheck.Test.make(
     ~name="Menhir and maketerm are equivalent",
-    ~count=100,
-    QCheck.make(~print=AST.show_exp, AST.gen_exp_sized(3)),
+    ~count=1000,
+    QCheck.make(~print=AST.show_exp, AST.gen_exp_sized(4)),
     exp => {
       let core_exp = Conversion.Exp.of_menhir_ast(exp);
 
@@ -301,7 +301,7 @@ let qcheck_menhir_serialized_equivalent_test =
   QCheck.Test.make(
     ~name="Menhir through ExpToSegment and back",
     ~count=100,
-    QCheck.make(~print=AST.show_exp, AST.gen_exp_sized(3)),
+    QCheck.make(~print=AST.show_exp, AST.gen_exp_sized(4)),
     exp => {
       let core_exp = Conversion.Exp.of_menhir_ast(exp);