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

type t

val init : string list -> string -> bool -> t

val get_file_name : t -> string

val compute_stat : t -> int * int * float

val update_cov : Data.subst list -> t -> t

val dump_oracle_io : Data.subst list -> Data.subst list -> t -> string

val dump : string -> string -> t -> unit