Skip to content
Snippets Groups Projects
Commit 88b6e7bd authored by erwan's avatar erwan
Browse files

Update: print the step number in --no-log mode (otherwise, it is frustating)

parent d1b7972e
No related branches found
No related tags found
No related merge requests found
Pipeline #31155 failed
Stage: build
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 3 additions and 1 deletion
      src/sasaMain.ml
      + 3
      − 1
      View file @ 88b6e7bd
      ...@@ -7,7 +7,9 @@ let (print_step : int -> int -> SasArg.t -> 'v Env.t -> 'v Process.t list -> str ...@@ -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") String.concat " " (List.map (fun b -> if b then "t" else "f")
      (List.flatten enab_ll)) (List.flatten enab_ll))
      in 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 ( if args.demon = Demon.Custom then (
      (* in custom mode, to be able to talk with lurette, this should not be (* in custom mode, to be able to talk with lurette, this should not be
      printed on stdout printed on stdout
      ......
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment