From a63415b79dab31814e0197172eb8d2f9a55bf5ab Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 11 Oct 2021 16:42:43 +0200
Subject: [PATCH] play with -is on the toy-example-sum
---
test/toy-example-sum/config.ml | 17 +++++++++++++++--
1 file changed, 15 insertions(+), 2 deletions(-)
diff --git a/test/toy-example-sum/config.ml b/test/toy-example-sum/config.ml
index de724c19..69d5e151 100644
--- a/test/toy-example-sum/config.ml
+++ b/test/toy-example-sum/config.ml
@@ -51,5 +51,18 @@ let potential_combined: State.t Algo.potential_fun =
let potential = Some potential_combined
let legitimate = None (* None => only silent configuration are legitimate *)
-let fault = None (* None => the simulation stop once a legitimate configuration is reached *)
-let init_search_utils = None
+let fault = None
+
+open State
+
+let mini= 0
+let maxi = max_degree ()
+
+let s2n s = [I(mini, s.input, 100); I(mini, s.sub, 100); I(mini, s.res, 100)]
+let n2s nl s =
+ match nl with
+ | [I(_, input, _); I(_, sub, _); I(_, res, _)] ->
+ { s with input; sub; res }
+ | _ -> assert false
+
+let init_search_utils = Some (s2n, n2s)
--
GitLab