Bump STM Sys test parallel count to 2500

jmid · jmid · commit adff14c5ec09 · 2024-05-17T11:32:18.000+02:00
diff --git a/src/sys/stm_tests.ml b/src/sys/stm_tests.ml
@@ -330,5 +330,5 @@ QCheck_base_runner.run_tests_main [
     Sys_seq.agree_test              ~count:1000 ~name:"STM Sys test sequential";
     if Sys.unix && uname_os () = Some "Linux"
     then Sys_dom.agree_test_par     ~count:200  ~name:"STM Sys test parallel"
-    else Sys_dom.neg_agree_test_par ~count:1000 ~name:"STM Sys test parallel"
+    else Sys_dom.neg_agree_test_par ~count:2500 ~name:"STM Sys test parallel"
   ]

Original file line number	Diff line number	Diff line change
`@@ -330,5 +330,5 @@ QCheck_base_runner.run_tests_main [`
`330`	`330`	`Sys_seq.agree_test ~count:1000 ~name:"STM Sys test sequential";`
`331`	`331`	`if Sys.unix && uname_os () = Some "Linux"`
`332`	`332`	`then Sys_dom.agree_test_par ~count:200 ~name:"STM Sys test parallel"`
`333`		`- else Sys_dom.neg_agree_test_par ~count:1000 ~name:"STM Sys test parallel"`
	`333`	`+ else Sys_dom.neg_agree_test_par ~count:2500 ~name:"STM Sys test parallel"`
`334`	`334`	`]`