Module Mthread.Mt_main

val register_analysis_hook : (Mt_thread.analysis_state -> unit) -> unit

Registers a hook called at the end of the Mthread analysis.

val apply_analysis_hooks : unit -> unit

Apply registered hooks on the current analysis.