Increasing test count of src/neg_tests/stm_tests_thread_ref.ml int64 test

jmid · jmid · commit cbd7fd2c8605 · 2023-09-05T16:06:41.000+02:00
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`	`]`