Gc.space_overhead = 100;
}
-
let mk_runtime run auto doc arg count print outfile =
fun () ->
+ if !Options.do_perf then start_perf ();
let r = time ~count:1 ~msg:"Execution time" (run auto doc) arg in
+ if !Options.do_perf then stop_perf ();
Printf.eprintf "Number of results: %i\n%!" (count r);
match outfile with
None -> ()
;;
let document =
- if Filename.check_suffix !Options.input_file ".srx"
+ if Filename.check_suffix !Options.input_file ".g.bin" then
+ let g = time ~msg:"Loading grammar" (Grammar.load !Options.input_file) true in
+ begin
+ ignore(g);
+ exit 0
+ end
+ else if Filename.check_suffix !Options.input_file ".srx"
then
time
~msg:"Loading file"