Module LutinRdbgSource

Some def that are specific to Lutin programs.

Sourcetype lut_evt =
  1. | Ltop
  2. | Call
  3. | Exit
  4. | Quit
  5. | Try
  6. | Sat
  7. | Nsat
Sourceval to_lut_evt : RdbgEvent.kind -> lut_evt
Sourceval from_lut_evt : lut_evt -> RdbgEvent.kind
Sourceval explain_failure : RdbgEvent.t -> unit

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

Sourceval profiler : bool -> unit

set on/off the profiler

Sourceval reset_profiler : unit -> unit

Reset profiling info

Sourceval dump_profile_info : unit -> string

Dump profiling info

control the behavior of print_event