Skip to content

Commit 5c93e00

Browse files
committed
reduce test count for STM int ref Thread test
1 parent cefa9cb commit 5c93e00

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

src/neg_tests/stm_tests_thread_ref.ml

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ then
88
Printf.printf "STM ref tests with Thread disabled under bytecode\n\n%!"
99
else
1010
QCheck_runner.run_tests_main
11-
(let count = 1000 in
12-
[RT_int.agree_test_conc ~count ~name:"STM int ref test with Thread";
13-
RT_int64.neg_agree_test_conc ~count ~name:"STM int64 ref test with Thread";
14-
])
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";
13+
]

0 commit comments

Comments
 (0)