diff --git a/src/neg_tests/dune b/src/neg_tests/dune index faa83c699..5924d83dd 100644 --- a/src/neg_tests/dune +++ b/src/neg_tests/dune @@ -23,6 +23,14 @@ (action (run %{test} --verbose)) ) +(test + (name stm_tests_domain_ref_asym) + (modules stm_tests_domain_ref_asym) + (package multicoretests) + (libraries stm_tests_spec_ref qcheck-stm.domain) + (action (run %{test} --verbose)) +) + (test (name stm_tests_thread_ref) (modules stm_tests_thread_ref) diff --git a/src/neg_tests/stm_tests_domain_ref.ml b/src/neg_tests/stm_tests_domain_ref.ml index e016bdb06..66f6740aa 100644 --- a/src/neg_tests/stm_tests_domain_ref.ml +++ b/src/neg_tests/stm_tests_domain_ref.ml @@ -6,6 +6,4 @@ module RT_int64 = STM_domain.Make(RConf_int64) QCheck_base_runner.run_tests_main [RT_int.neg_agree_test_par ~count:1000 ~name:"STM int ref test parallel"; RT_int64.neg_agree_test_par ~count:1000 ~name:"STM int64 ref test parallel"; - RT_int.neg_agree_test_par_asym ~count:2000 ~name:"STM int ref test parallel asymmetric"; - RT_int64.neg_agree_test_par_asym ~count:2000 ~name:"STM int64 ref test parallel asymmetric"; ] diff --git a/src/neg_tests/stm_tests_domain_ref_asym.ml b/src/neg_tests/stm_tests_domain_ref_asym.ml new file mode 100644 index 000000000..be715d85a --- /dev/null +++ b/src/neg_tests/stm_tests_domain_ref_asym.ml @@ -0,0 +1,9 @@ +open Stm_tests_spec_ref + +module RT_int = STM_domain.Make(RConf_int) +module RT_int64 = STM_domain.Make(RConf_int64) +;; +QCheck_base_runner.run_tests_main + [RT_int.neg_agree_test_par_asym ~count:5000 ~name:"STM int ref test parallel asymmetric"; + RT_int64.neg_agree_test_par_asym ~count:5000 ~name:"STM int64 ref test parallel asymmetric"; + ]