From f16ce7bd8c7db3e0c027ed0e663ccfcfbd401a18 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Mon, 12 Aug 2024 16:08:53 +0200 Subject: [PATCH] Change to a Lin stress_test --- src/io/lin_tests_domain.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/io/lin_tests_domain.ml b/src/io/lin_tests_domain.ml index 7f020f64..a11222f8 100644 --- a/src/io/lin_tests_domain.ml +++ b/src/io/lin_tests_domain.ml @@ -13,7 +13,7 @@ let tests = Printf.printf "Lin Out_channel test with Domain disabled under macOS\n\n%!"; [] ) else*) [ - OC_domain.neg_lin_test ~count:5000 ~name:"Lin Out_channel test with Domain"; + OC_domain.stress_test ~count:1000 ~name:"Lin Out_channel test with Domain"; ] let _ = QCheck_base_runner.run_tests_main tests