From b8cc4bf5c45f1112156307b8ac1fdf804cedc209 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 21 Jun 2023 15:29:10 +0200 Subject: [PATCH] Increase Lin Out_channel iteration count --- src/io/lin_tests_dsl_domain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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