Mt_cil (frama-c-eva.Mthread.Mt

val is_call_to_sync : Frama_c_kernel.Cil_types.stmt -> bool

Is this statement a call to the primitive Frama_C_mthread_sync

Pretty-printing

val pretty_succs : 
  Stdlib.Format.formatter ->
  Frama_c_kernel.Cil_types.stmt ->
  unit

Print the sid of the successors of a statement

val kinstr_to_source : 
  Frama_c_kernel.Cil_types.kinstr ->
  Frama_c_kernel.Filepath.position option

Calls stacks, and related functions

type stack_elt =
  Frama_c_kernel.Cil_types.kernel_function * Frama_c_kernel.Cil_types.kinstr

module StackElt : Frama_c_kernel.Datatype.S with type t = stack_elt

type stack = stack_elt list

module Stack : sig ... end