Commit a5cf5260 authored by Aliaume Lopez's avatar Aliaume Lopez

Ajout command line arguments

parent c501751f
......@@ -287,7 +287,12 @@ let looping_reduction_step x =
let () =
print_string "CIRCUITS - \n";
let x = ref (get_ptg_of_file "lines.txt") in
let file = if Array.length Sys.argv > 1 then
Sys.argv.(1)
else
"lines.txt"
in
let x = ref (get_ptg_of_file file) in
report "INIT" !x;
report "INIT" (snd (Rewriting.rewrite_delays !x));
......
Markdown is supported
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