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

sha256=09c202b85ca70e00ccf85afb31a165fcb212fc804becc33f1942de6839bfe608

md5=0df4a0287c76d0bc69bda9de4b0f1610

doc/rdbg-plugin.rdbg/RdbgMain/index.html

Module `RdbgMain`

val run : unit -> Event.t

Runs the test and returns the first event.

val off : unit -> unit

val info : unit -> unit

Display info about the test parameters

val i : unit -> unit

Shortcut for info

val get_val_event : Event.t -> unit

val stl : int -> unit

Set the maximum number of steps to perform

val set_gnuplot : bool -> unit

Launch gnuplot-rif to display variable values

val set_sim2chro : bool -> unit

Launch gnuplot-rif to display variable values

val apropos : string -> unit

To search for commands related to a string

Shortcut for apropos

val a : string -> unit

Shortcut for apropos

val help : string -> unit

Display help about ldbg commands

Type help "base" for the list of basic commands.
Type help "utils" for the list of Ldbg_utils commands.
Type "help" followed by command name for the full documentation of the command.

val h : string -> unit

Shortcut for help

val man : unit -> unit

Display a small online manual

val quit : unit -> unit

Shortcut for (exit 0)

val q : unit -> unit

val get_prompt : unit -> string

val set_prompt : string -> unit