Increase Lin Out_channel iteration count

jmid · jmid · commit e42ca86d0378 · 2023-07-06T16:15:09.000+02:00
diff --git a/src/io/lin_tests_dsl_domain.ml b/src/io/lin_tests_dsl_domain.ml
@@ -12,7 +12,7 @@ let tests =
     Printf.printf "Lin DSL Out_channel test with Domain disabled under macOS\n\n%!";
     []
   ) else [
-    OC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Out_channel test with Domain";
+    OC_domain.neg_lin_test ~count:5000 ~name:"Lin DSL Out_channel test with Domain";
   ]
 
 let _ = QCheck_base_runner.run_tests_main tests

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ let tests =`
`12`	`12`	`Printf.printf "Lin DSL Out_channel test with Domain disabled under macOS\n\n%!";`
`13`	`13`	`[]`
`14`	`14`	`) else [`
`15`		`- OC_domain.neg_lin_test ~count:1000 ~name:"Lin DSL Out_channel test with Domain";`
	`15`	`+ OC_domain.neg_lin_test ~count:5000 ~name:"Lin DSL Out_channel test with Domain";`
`16`	`16`	`]`
`17`	`17`
`18`	`18`	`let _ = QCheck_base_runner.run_tests_main tests`