Merge pull request #390 from ocaml-multicore/incr-stm-int64-thread-count

jmid · web-flow · commit 2f8c2a9eadfd · 2023-09-06T08:22:16.000+02:00
Increasing test count of STM int64 ref Thread test
diff --git a/src/neg_tests/stm_tests_thread_ref.ml b/src/neg_tests/stm_tests_thread_ref.ml
@@ -9,5 +9,5 @@ then
 else
 QCheck_base_runner.run_tests_main
   [RT_int.agree_test_conc       ~count:250  ~name:"STM int ref test with Thread";
-   RT_int64.neg_agree_test_conc ~count:1000 ~name:"STM int64 ref test with Thread";
+   RT_int64.neg_agree_test_conc ~count:2500 ~name:"STM int64 ref test with Thread";
   ]

Original file line number	Diff line number	Diff line change
`@@ -9,5 +9,5 @@ then`
`9`	`9`	`else`
`10`	`10`	`QCheck_base_runner.run_tests_main`
`11`	`11`	`[RT_int.agree_test_conc ~count:250 ~name:"STM int ref test with Thread";`
`12`		`- RT_int64.neg_agree_test_conc ~count:1000 ~name:"STM int64 ref test with Thread";`
	`12`	`+ RT_int64.neg_agree_test_conc ~count:2500 ~name:"STM int64 ref test with Thread";`
`13`	`13`	`]`