package rdbg

  1. Overview
  2. Docs

Module RdbgWrapperArgsSource

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