package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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