Fix internal tests

ocaml-multicore · May 2, 2024 · 30e65c2 · 30e65c2
1 parent 9b0eeb5
commit 30e65c2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/test/cleanup_lin.ml b/test/cleanup_lin.ml
@@ -76,7 +76,7 @@ Test.check_exn
      (RT.arb_cmds_triple seq_len par_len)
      (fun input ->
         try
-          ignore (RT.lin_prop input);
+          ignore (Util.Domain_pair.run (fun pool -> RT.lin_prop ~pool input));
           Atomic.get cleanup_counter = 0
         with
         | RConf.Already_cleaned -> failwith "Already cleaned"

diff --git a/test/cleanup_stm.ml b/test/cleanup_stm.ml
@@ -89,7 +89,8 @@ for _i=1 to 100 do
   try
     Test.check_exn ~rand
       (Test.make ~count:1000 ~name:"STM ensure cleanup test parallel"
-         (RT_dom.arb_cmds_triple 20 12) RT_dom.agree_prop_par) (* without retries *)
+         (RT_dom.arb_cmds_triple 20 12)
+         (fun triple -> Util.Domain_pair.run (fun pool -> RT_dom.agree_prop_par ~pool triple))) (* without retries *)
   with _e -> incr i; assert (!status = Some Cleaned);
 done;
 assert (!i = 100);