From 5ca18d04752b4ba9f2c60a70f2639047535d899b Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 28 Mar 2019 16:21:14 +0100
Subject: [PATCH] Fix: when the silent is made rif mode, say it!
---
lib/sasacore/sasa.ml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/lib/sasacore/sasa.ml b/lib/sasacore/sasa.ml
index 29bcb9ff..30de69e2 100644
--- a/lib/sasacore/sasa.ml
+++ b/lib/sasacore/sasa.ml
@@ -1,4 +1,4 @@
-(* Time-stamp: <modified the 27/03/2019 (at 17:28) by Erwan Jahier> *)
+(* Time-stamp: <modified the 28/03/2019 (at 16:24) by Erwan Jahier> *)
open Algo
open Sasacore
@@ -119,7 +119,11 @@ let (simustep: int -> int -> SasArg.t -> Process.t list -> string ->
(List.flatten enab_ll))
in
if (List.flatten all = []) then (
- print_step n i args e pl activate_val enable_val;
+ print_step n i args e pl activate_val enable_val;
+ if args.rif then (
+ Printf.eprintf "\n# Sasa is silent; no more processes can be enabled\n";
+ Printf.printf "\nq\n";
+ flush stderr; flush stdout);
raise (Silent (n-i+1))
);
print_step n i args e pl activate_val enable_val;
--
GitLab