From 0431b5258f273cd2c1dc2eb949c6fcb63ec13629 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 19 Apr 2024 13:10:06 +0200 Subject: [PATCH] Increment count for STM int64 ref test with Thread --- 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 0b5255190..de5a43800 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:2500 ~name:"STM int64 ref test with Thread"; + RT_int64.neg_agree_test_conc ~count:5000 ~name:"STM int64 ref test with Thread"; ]