package rdbg

You can search for identifiers within the package.

in-package search v0.2.0

RDBG: a reactive programs debugger.

Install

sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608

md5=0df4a0287c76d0bc69bda9de4b0f1610

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