diff --git a/src/io/lin_tests_dsl_domain.ml b/src/io/lin_tests_dsl_domain.ml
index 46aa2edc..6837cdb5 100644
--- 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