From cbd7fd2c8605f817a216db0bb57e8f9c8482f20f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 5 Sep 2023 16:06:41 +0200 Subject: [PATCH] Increasing test count of src/neg_tests/stm_tests_thread_ref.ml int64 test --- src/neg_tests/stm_tests_thread_ref.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"; ]