Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_thread

type value = Mt_utils.Value.t
type thread = Thread.t
type status = {
  1. running : Mt_utils.Trilean.t;
  2. canceled : Mt_utils.Trilean.t;
}
val return_lval : Thread.t -> Eva_ast.lval option
module Register : sig ... end