Frama-C:
Plug-ins:
Libraries:

Frama-C API - ThreadState

type t = thread_state
val is_main : t -> bool
val label : t -> string

The name of the thread

Prints the name of the thread

Prints the name of the thread with detailed information

val equal : t -> t -> bool

Equality based on thread id

val one_creates_other : t -> t -> [ `Creates of t * t | `Unrelated ]

one_creates_other th1 th2 returns `Creates (th1, th2) if th1 creates th2 directly or through another threads, `Creates(th2, th1) if th2 creates th1, and `Unrelated otherwise

val recompute_because : t -> recompute_reason -> unit