diff --git a/src/neg_tests/stm_tests_thread_ref.ml b/src/neg_tests/stm_tests_thread_ref.ml index f198dd7a8..0b5255190 100644 --- 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"; ]