package rdbg

  1. Overview
  2. Docs
val rdbg_tuning_file : string
val rdbg_cmds_file : string
val mkoptab : unit -> unit
val help : unit -> unit
val verbose : bool Stdlib.ref
val lurette : bool Stdlib.ref
val ocamldebug : bool Stdlib.ref
val suts : string list Stdlib.ref
val envs : string list Stdlib.ref
val oracles : string list Stdlib.ref
val suts_nd : string list Stdlib.ref
val envs_nd : string list Stdlib.ref
val oracles_nd : string list Stdlib.ref
val test_length : int Stdlib.ref
val missing_vars_at_the_end : bool Stdlib.ref
val output_file : string Stdlib.ref
val input_file : string option Stdlib.ref
val no_rif : bool Stdlib.ref
val drdbg : bool Stdlib.ref
val go : bool Stdlib.ref
val options : (string * string list) list Stdlib.ref
val arg_options : (Stdlib.Arg.key * Stdlib.Arg.spec * Stdlib.Arg.doc) list Stdlib.ref
val emacs_mode : bool Stdlib.ref
val display_gnuplot : bool Stdlib.ref
val display_sim2chro : bool Stdlib.ref
val dont_stop_on_oracle_error : bool Stdlib.ref
val overwrite_output : bool Stdlib.ref
val cov_file : string Stdlib.ref
val reset_cov_file : bool Stdlib.ref
val luciole_mode : bool Stdlib.ref
val sasa_mode : bool Stdlib.ref
val salut_mode : bool Stdlib.ref
val cmd : string Stdlib.ref
val log : bool Stdlib.ref
val margin : int Stdlib.ref
val usage : string Stdlib.ref