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.175.tgz
sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608
md5=0df4a0287c76d0bc69bda9de4b0f1610

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 margin : int ref
val usage : string ref