Commit 8c7123e7 authored by erwan's avatar erwan

New: take advantage of options added in rdbg/RdbgWrapper cf sha...

New: take advantage of options added in rdbg/RdbgWrapper cf sha bacf7677bcb7ceeffa127602204ee8277787ed19
parent 373d7a6f
(* Time-stamp: <modified the 24/07/2018 (at 16:03) by Erwan Jahier> *)
(* Time-stamp: <modified the 29/03/2019 (at 14:53) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *)
open Event
......@@ -76,12 +76,18 @@ let _ =
args.display_gnuplot <- !display_gnuplot ;
args.verbose <- if !verbose then 1 else 0 ;
args.output <- !output_file ;
args.overwrite_output = !overwrite_output;
args.stop_on_oracle_error = not !dont_stop_on_oracle_error;
args.log = !log;
args.cov_file = !cov_file;
args.reset_cov_file = !reset_cov_file;
args.debug_rdbg <- !drdbg;
args.rdbg <- false;
args.cov_file <- "lurette.cov";
args.stop_on_oracle_error <- not !dont_stop_on_oracle_error;
()
(**********************************************************************************)
......
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