Module RdbgRunSource

Sourceexception OracleError of string
Sourceval start : unit -> RdbgEvent.t
Sourceval lurette_start : unit -> unit
Sourceval clean_terminate : int -> unit
Sourceval rdbg_mv : ((string * Data.t) list * (string * Data.t) list) ref

In order to use an rdbg ml program to provide missing variables values:

  • rdbg_mv holds the missing input and output var names and types
  • rdbg_mv_hook holds a function that is used (instead Luciole or the keyboard) to provide missing values if:
  • Some variables are missing (to the SUT or its env), and
  • !rdbg_mv_hook <> None
Sourceval rdbg_mv_hook : (Data.subst list -> Data.subst list option) option ref