Module LutinRdbg

Some def that are specific to Lutin programs.

type lut_evt =
| Ltop
| Call
| Exit
| Quit
| Try
| Sat
| Nsat
val to_lut_evt : RdbgEvent.kind -> lut_evt
val from_lut_evt : lut_evt -> RdbgEvent.kind
val explain_failure : RdbgEvent.t -> unit

Try to hint why the current constraint failed (at fail events only)

val profiler : bool -> unit

set on/off the profiler

val reset_profiler : unit -> unit

Reset profiling info

val dump_profile_info : unit -> string

Dump profiling info