package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger.

Install

Dune Dependency

gricad-gitlab.univ-grenoble-alpes.fr Edit opam file Versions (4)

Authors

E

Erwan Jahier

Maintainers

E

erwan.jahier@univ-grenoble-alpes.fr

Sources

sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608

md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/rdbg-plugin.rdbg4lurette/RdbgArg/index.html

Module `RdbgArg`Source

Sourceval cmxs_or_cma : string

Sourceval usage_msg : string

Sourceval print_usage : unit -> unit

Sourcetype verbose_level = int

Sourcetype program_kind =

| SUT
| Env
| Oracle

Sourcetype reactive_program =

| Stdio of string
| StdioInit of string
| Sock of string * int
| SockInit of string * int
| Ocaml of RdbgPlugin.t

Sourceval program_kind_of_string : string -> program_kind

Sourceval program_kind_to_string : program_kind -> string

Sourceval reactive_program_to_string : reactive_program -> string

Sourcetype 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 step_nb : int;
mutable draw_nb : int;
mutable draw_inside : int;
mutable draw_edges : int;
mutable draw_vertices : int;
mutable all_formula : bool;
mutable all_vertices : bool;
mutable luciole_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 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 : Pervasives.in_channel;
mutable ocr : Pervasives.out_channel;
mutable ecr : Pervasives.out_channel;
mutable _others : string list;
mutable _margin : int;

}

Sourceval make_args : unit -> t

Sourceval args : t

Sourceval pspec : out_channel -> (string * string list) -> unit

Sourceval options : out_channel -> unit

Sourceval more_options : out_channel -> unit

Sourceval myexit : int -> 'a

Sourceval unexpected : string -> 'a

Sourceval file_notfound : string -> 'a

Sourceval parse_stdio_string : string -> reactive_program

Sourceval my_int_of_string : string -> int

Sourceval parse_sock_string : string -> reactive_program

val mkopt : 
  t ->
  string list ->
  ?hide:bool ->
  ?arg:string ->
  Arg.spec ->
  string list ->
  unit

Sourceval mkoptab : t -> unit

Sourceval add_other : t -> string -> unit

Sourceval current : int ref

Sourceval first_line : string -> string

Sourceval parse : string array -> unit