Hypothesis: issue is start-up related, hence reducing count from 1000…

… to 100
ocaml-multicore · May 21, 2024 · 031ba26 · 031ba26
1 parent 85c46c6
commit 031ba26
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domain/stm_tests_dls.ml b/src/domain/stm_tests_dls.ml
@@ -88,7 +88,7 @@ let _stress_test_par ~count ~name =
 
 ;;
 QCheck_base_runner.run_tests_main [
-  agree_test         ~count:1000 ~name:"STM Domain.DLS test sequential";
+  agree_test         ~count:100 ~name:"STM Domain.DLS test sequential";
 (*neg_agree_test_par ~count:1000 ~name:"STM Domain.DLS test parallel";
   stress_test_par    ~count:1000 ~name:"STM Domain.DLS stress test parallel";*)
 ]