Merge pull request #377 from ocaml-multicore/stm-par-asym-refactor

Refactor STM par asym tests and increment count

Author: jmid

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)

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";
   ]

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";
+  ]