From d9301991497e63ba9b0a707713800285d3b14269 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 21 May 2021 17:19:07 +0200
Subject: [PATCH] Update: Add a Seed.reset function
---
lib/sasacore/seed.ml | 6 ++++--
lib/sasacore/seed.mli | 3 ++-
2 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/lib/sasacore/seed.ml b/lib/sasacore/seed.ml
index ce945185..e3857114 100644
--- a/lib/sasacore/seed.ml
+++ b/lib/sasacore/seed.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 20/05/2021 (at 09:23) by Erwan Jahier> *)
+(* Time-stamp: <modified the 21/05/2021 (at 17:18) by Erwan Jahier> *)
let seed = ref None
let replay_seed = ref false
@@ -11,7 +11,7 @@ let set s =
seed := Some s
let seed_file_name label =
- Printf.sprintf "sasa-%s.seed" label
+ Printf.sprintf "sasa-%s.seed" label
(* for --replay *)
let reset_the_seed_to_last label =
@@ -28,6 +28,8 @@ let reset_the_seed_to_last label =
flush stderr;
false
+let reset () = seed := None
+
let rec (get : string -> int) =
fun label ->
match !seed with
diff --git a/lib/sasacore/seed.mli b/lib/sasacore/seed.mli
index 0609aebf..d69925d7 100644
--- a/lib/sasacore/seed.mli
+++ b/lib/sasacore/seed.mli
@@ -1,6 +1,7 @@
-(* Time-stamp: <modified the 20/05/2021 (at 09:25) by Erwan Jahier> *)
+(* Time-stamp: <modified the 21/05/2021 (at 11:29) by Erwan Jahier> *)
val set : int -> unit
+val reset : unit -> unit
(** The string is used to create a file name to save/restore the seed
when the --replay option is used *)
--
GitLab