package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger

Install

dune-project

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.1.184.1.tgz

sha256=80c13ca3619b52c7e879ef90cd290d42775eb1032d526a9e1a770150d10a150d

md5=facf4de4f8b9f1a890e235d58163c66c

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

Module `RdbgWrapperArgs`

val rdbg_tuning_file : string

val mkoptab : unit -> unit

val help : unit -> unit

val verbose : bool ref

val lurette : bool ref

val suts : string list ref

val envs : string list ref

val oracles : string list ref

val suts_nd : string list ref

val envs_nd : string list ref

val oracles_nd : string list ref

val test_length : int ref

val output_file : string ref

val drdbg : bool ref

val options : (string * string list) list ref

val arg_options : (Arg.key * Arg.spec * Arg.doc) list ref

val emacs_mode : bool ref

val display_gnuplot : bool ref

val display_sim2chro : bool ref

val dont_stop_on_oracle_error : bool ref

val overwrite_output : bool ref

val cov_file : string ref

val reset_cov_file : bool ref

val log : bool ref

val margin : int ref

val usage : string ref