Commit 03954400 authored by erwan's avatar erwan
Browse files

New: in rif mode, do not stop at silence

parent 4bfd4559
(* Time-stamp: <modified the 28/03/2019 (at 16:24) by Erwan Jahier> *)
(* Time-stamp: <modified the 28/03/2019 (at 17:41) by Erwan Jahier> *)
open Algo
open Sasacore
......@@ -81,6 +81,7 @@ let (print_step : int -> int -> SasArg.t -> Env.t -> Process.t list -> string ->
Printf.printf "%s #outs " activate_val; flush stdout
);
Printf.printf "%s %s\n" (StringOf.env_rif e pl) enable_val;
flush stderr;
flush stdout
)
else (
......@@ -117,13 +118,9 @@ let (simustep: int -> int -> SasArg.t -> Process.t list -> string ->
let enable_val =
String.concat " " (List.map (fun b -> if b then "t" else "f")
(List.flatten enab_ll))
in
if (List.flatten all = []) then (
in
if not (args.rif) && List.for_all (fun b -> not b) (List.flatten enab_ll) then (
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;
......
Supports Markdown
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