Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package rdbg
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val start : unit -> RdbgEvent.tIn 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
val rdbg_mv_hook : (Data.subst list -> Data.subst list option) option ref