Run only stress test

ocaml-multicore · Oct 28, 2024 · 1671487 · 1671487
1 parent 218a44a
commit 1671487
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/gc/stm_tests.ml b/src/gc/stm_tests.ml
@@ -2,7 +2,7 @@
 
 (* sequential and parallel tests of the GC with explicit Gc invocations *)
 
-module GC_STM_seq = STM_sequential.Make(GCConf)
+(*module GC_STM_seq = STM_sequential.Make(GCConf)*)
 module GC_STM_dom = STM_domain.Make(GCConf)
 (*
 let agree_prop cs = match Util.protect GC_STM_seq.agree_prop cs with
@@ -26,7 +26,7 @@ let _ =
   Printf.printf "Page size: %i\n" (Pagesize.get ());
   QCheck_base_runner.run_tests_main [
 (*  agree_test                    ~count:1000 ~name:"STM Gc test sequential";
-    agree_child_test              ~count:1000 ~name:"STM Gc test sequential in child domain";*)
-    GC_STM_dom.neg_agree_test_par ~count:1000 ~name:"STM Gc test parallel";
+    agree_child_test              ~count:1000 ~name:"STM Gc test sequential in child domain";
+    GC_STM_dom.neg_agree_test_par ~count:1000 ~name:"STM Gc test parallel";*)
     GC_STM_dom.stress_test_par    ~count:1000 ~name:"STM Gc stress test parallel";
   ]