Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_mutexes

val pretty_with_mutexes : Stdlib.Format.formatter -> Mt_shared_vars.Precise.list_accesses -> unit
type protection =
  1. | Unprotected
  2. | Priority
val pretty_protection : Stdlib.Format.formatter -> protection -> unit
val pretty_protection_per_thread : Stdlib.Format.formatter -> (Mt_thread.thread * Mt_thread.thread * protection) -> unit
val pretty_zone_protection : Stdlib.Format.formatter -> (Frama_c_kernel.Locations.Zone.t * (Mt_thread.thread * Mt_thread.thread * protection) list) -> unit
val pretty_protections : Stdlib.Format.formatter -> (Frama_c_kernel.Locations.Zone.t * (Mt_thread.thread * Mt_thread.thread * protection) list) list -> unit