From 70f8ea573210d0678a182ae3ef4b16174b2ebbd8 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 7 Mar 2019 14:36:30 +0100
Subject: [PATCH] Don't stop the simulation when one process is enabled
---
bin/sasa.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/sasa.ml b/bin/sasa.ml
index 4743e27e..72014fa8 100644
--- a/bin/sasa.ml
+++ b/bin/sasa.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 07/03/2019 (at 10:29) by Erwan> *)
+(* Time-stamp: <modified the 07/03/2019 (at 14:02) by Erwan> *)
(* XXX Je pourrais utiliser Lwt pour rendre step non-bloquant, ce qui
permettrait d'accelerer la simu sur les machines qui ont plusieurs
@@ -105,7 +105,7 @@ let rec (simu: int -> int -> Process.t list ->
in
Printf.eprintf "step %s: %s (%s)\n" (string_of_int (n-i)) (StringOf.env e pl) al_str;
match all with
- | [_] -> ()
+ (* | [_] -> () *)
| [] -> raise Stable
| _ -> if i > 0 then simu n (i-1) pl pl_n ne else ()
--
GitLab