rdbg

RDBG: a reactive programs debugger
Library rdbg
Module RdbgArg
val cmxs_or_cma : string
val usage_msg : string
val print_usage : unit -> unit
type verbose_level = int
type program_kind =
| SUT
| Env
| Oracle
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_kind
val program_kind_to_string : program_kind -> string
val reactive_program_to_string : reactive_program -> string
type t = {
mutable _args : (string * Arg.spec * string) list;
mutable _user_man : (string * string list) list;
mutable _hidden_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 : in_channel;
mutable ocr : out_channel;
mutable ecr : out_channel;
mutable _others : string list;
mutable _margin : int;
}
val make_args : unit -> t
val args : t
val pspec : out_channel -> (string * string list) -> unit
val options : out_channel -> unit
val more_options : out_channel -> unit
val myexit : int -> 'a
val unexpected : string -> 'a
val file_notfound : string -> 'a
val parse_stdio_string : string -> reactive_program
val my_int_of_string : string -> int
val parse_sock_string : string -> reactive_program
val mkopt : t -> string list -> ?hide:bool -> ?arg:string -> Arg.spec -> string list -> unit
val mkoptab : t -> unit
val add_other : t -> string -> unit
val current : int ref
val first_line : string -> string
val parse : string array -> unit