From c523827c0e11f7324978951cc08dbe91b520c192 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Palmer?= Date: Wed, 27 Sep 2023 13:12:39 +0200 Subject: [PATCH] Set by default the generator's random_state to its default value --- tests/generate/gen_utils.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tests/generate/gen_utils.ml b/tests/generate/gen_utils.ml index 715be5a70..64649fbf5 100644 --- 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