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

rdbg.v1.199.0.tgz

md5=da1c08e352dae8155c089823bf490f42

sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352

doc/rdbg/RdbgWrapperArgs/index.html

Module `RdbgWrapperArgs`Source

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