rdbg

RDBG: a reactive programs debugger
Library rdbg4lurette
val rdbg_tuning_file : string
val mkoptab : unit -> unit
val help : unit -> unit
val verbose : bool ref
val lurette : bool ref
val suts : string list ref
val envs : string list ref
val oracles : string list ref
val suts_nd : string list ref
val envs_nd : string list ref
val oracles_nd : string list ref
val test_length : int ref
val output_file : string ref
val drdbg : bool ref
val options : (string * string list) list ref
val arg_options : (Arg.key * Arg.spec * Arg.doc) list ref
val emacs_mode : bool ref
val display_gnuplot : bool ref
val display_sim2chro : bool ref
val dont_stop_on_oracle_error : bool ref
val overwrite_output : bool ref
val cov_file : string ref
val reset_cov_file : bool ref
val log : bool ref
val margin : int ref
val usage : string ref