Temporary experiment: maybe the backend test setting not read

lukstafi · lukstafi · commit 07821ad786aa · 2024-09-02T11:43:26.000+02:00
Maybe the slightly different outputs for moons_demo_parallel on some CI targets are because the test config file is not read properly (sync_cc).
diff --git a/arrayjit/lib/backends.ml b/arrayjit/lib/backends.ml
@@ -1347,7 +1347,7 @@ let fresh_backend ?backend_name ?(config = Physical_devices_only) () =
   let backend =
     match
       Option.value_or_thunk backend_name ~default:(fun () ->
-          Utils.get_global_arg ~arg_name:"backend" ~default:"pipes_cc")
+          Utils.get_global_arg ~arg_name:"backend" ~default:"sync_cc")
       |> String.lowercase
     with
     | "cc" -> (module Cc_backend : Backend)
diff --git a/arrayjit/lib/rand.ml b/arrayjit/lib/rand.ml
@@ -27,7 +27,7 @@ module Random_for_tests = struct
   let int high = Int32.(to_int_trunc @@ (rand_int32 () % of_int_trunc high))
 end
 
-let random_config = Utils.get_global_arg ~arg_name:"randomness_lib" ~default:"stdlib"
+let random_config = Utils.get_global_arg ~arg_name:"randomness_lib" ~default:"for_tests"
 
 let random_lib =
   match random_config with
