Set by default the generator's random_state to its default value

trilitech · Sep 27, 2023 · c523827 · c523827
1 parent 3783dd0
commit c523827
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tests/generate/gen_utils.ml b/tests/generate/gen_utils.ml
@@ -16,7 +16,10 @@
 open Tezos_protocol_017_PtNairob
 open Tezos_micheline
 
-let random_state = Random.State.make_self_init ()
+let random_state =
+  match Sys.getenv_opt "RAND" with
+  | Some "1" -> Random.State.make_self_init ()
+  | _ -> Random.get_state ()
 
 let micheline_too_large_or_too_deep expr =
   try