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

New: add header to rif output

parent 7edff769
No related branches found
No related tags found
No related merge requests found
Pipeline #20894 passed
;; Time-stamp: <modified the 21/02/2019 (at 16:31) by Erwan Jahier>
;; Time-stamp: <modified the 14/03/2019 (at 17:01) by Erwan Jahier>
(executable
(name sasa)
(libraries dynlink ocamlgraph algo)
(libraries dynlink ocamlgraph algo lutils)
)
(install
......
(* Time-stamp: <modified the 14/03/2019 (at 16:57) by Erwan Jahier> *)
(* Time-stamp: <modified the 14/03/2019 (at 17:05) by Erwan Jahier> *)
(* XXX Je pourrais utiliser Lwt pour rendre step non-bloquant, ce qui
permettrait d'accelerer la simu sur les machines qui ont plusieurs
......@@ -179,6 +179,7 @@ let () =
exit 0);
let n = SasArg.args.length in
if SasArg.args.rif then (
Printf.printf "%s" (Mypervasives.entete "#" "version" "sha");
if SasArg.args.demon <> Demon.Custom then
Printf.printf "#seed %i\n" SasArg.args.seed;
Printf.printf "#inputs %s\n"
......
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