Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package rdbg
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type reactive_program = | Stdio of string| StdioInit of string| Sock of string * int| SockInit of string * int| Ocaml of RdbgPlugin.t
val program_kind_of_string : string -> program_kindval program_kind_to_string : program_kind -> stringval reactive_program_to_string : reactive_program -> stringtype t = {mutable _args : (string * Stdlib.Arg.spec * string) list;mutable _user_man : (string * string list) list;mutable suts : reactive_program list;mutable envs : reactive_program list;mutable oracles : reactive_program list;mutable missing_vars_at_the_end : bool;mutable step_nb : int;mutable luciole_mode : bool;mutable sasa_mode : bool;mutable salut_mode : bool;mutable delay_env_outputs : bool;mutable display_sim2chro : bool;mutable display_gnuplot : bool;mutable precision : int;mutable verbose : verbose_level;mutable display_local_var : bool;mutable show_step : bool;mutable output : string;mutable no_rif : bool;mutable overwrite_output : bool;mutable prompt : string option;mutable go : bool;mutable log : bool;mutable tmp_dir : string;mutable tmp_dir_provided : string option;mutable socket_inet_addr : string option;mutable socket_port : int option;mutable socket_err_port : int option;mutable debug_rdbg : bool;mutable rdbg : bool;mutable cov_file : string;mutable reset_cov_file : bool;mutable stop_on_oracle_error : bool;mutable icr : Stdlib.in_channel;mutable ocr : Stdlib.out_channel;mutable ecr : Stdlib.out_channel;mutable _others : string list;mutable _margin : int;
}val make_args : unit -> tval args : tval parse_stdio_string : string -> reactive_programval parse_sock_string : string -> reactive_programval mkopt :
t ->
string list ->
?hide:bool ->
?arg:string ->
Stdlib.Arg.spec ->
string list ->
unitval mkoptab : t -> unitval add_other : t -> string -> unit