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

Create .dot and .dot.log files only with -is

parent a63415b7
No related branches found
No related tags found
No related merge requests found
...@@ -202,15 +202,15 @@ let rec (simuloop: out_channel -> int -> int -> string -> 'v SimuState.t -> int) ...@@ -202,15 +202,15 @@ let rec (simuloop: out_channel -> int -> int -> string -> 'v SimuState.t -> int)
let () = let () =
let st = Sasacore.SimuState.make true Sys.argv in let st = Sasacore.SimuState.make true Sys.argv in
let log = open_out (st.sasarg.topo ^ ".log") in
let newdot_fn = (Filename.chop_extension st.sasarg.topo) ^ "_wi.dot" in
let newdot = open_out newdot_fn in
let n = st.sasarg.length in let n = st.sasarg.length in
try try
match st.sasarg.init_search_max_trials with match st.sasarg.init_search_max_trials with
| None -> | None ->
ignore (simuloop stdout n n "" st) ignore (simuloop stdout n n "" st)
| Some maxt -> | Some maxt ->
let log = open_out (st.sasarg.topo ^ ".log") in
let newdot_fn = (Filename.chop_extension st.sasarg.topo) ^ "_wi.dot" in
let newdot = open_out newdot_fn in
let run s = let run s =
moves := 0; moves := 0;
rounds := 0; rounds := 0;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment