package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=a94384f00d53791cbb4b4d83ab41607bc71962d42461f02d71116c4ff6dca567

Sourcetype ui = Frama_c_gui.Design.main_window_extension_points

val register_thread_hook : 
  (ui -> Mthread.Mt_thread.thread_state -> unit) ->
  unit

Registers a hook called when the user selects a thread in the menu.