package rdbg

  1. Overview
  2. Docs
RDBG: a reactive programs debugger

Install 

dune-project
 Dependency

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

Authors

  1. E
    Erwan Jahier

Maintainers

  1. 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