Frama-C API - Mt_gui
val register_thread_hook : (ui -> Mthread.Mt_thread.thread_state -> unit) -> unitRegisters a hook called when the user selects a thread in the menu.
Frama-C Frama-C Mt_guival register_thread_hook : (ui -> Mthread.Mt_thread.thread_state -> unit) -> unitRegisters a hook called when the user selects a thread in the menu.