From 88b6e7bd01efcccadcb4aa5e2afa80431d7fd97f Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 23 Oct 2019 23:28:00 +0200
Subject: [PATCH] Update: print the step number in --no-log mode (otherwise, it
is frustating)
---
src/sasaMain.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/sasaMain.ml b/src/sasaMain.ml
index 7f126aa7..e0d722e8 100644
--- a/src/sasaMain.ml
+++ b/src/sasaMain.ml
@@ -7,7 +7,9 @@ let (print_step : int -> int -> SasArg.t -> 'v Env.t -> 'v Process.t list -> str
String.concat " " (List.map (fun b -> if b then "t" else "f")
(List.flatten enab_ll))
in
- if args.no_data_file then () else (
+ if args.no_data_file then (
+ Printf.printf "\n#step %s\n%!" (string_of_int (n-i+1))
+ ) else (
if args.demon = Demon.Custom then (
(* in custom mode, to be able to talk with lurette, this should not be
printed on stdout
--
GitLab