Frama-C API - Wp_error
To be raised a feature of C/ACSL cannot be supported by a memory model or is not implemented, or ...
val pp_logic_label : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.logic_label -> unit
val pp_assigns : Stdlib.Format.formatter -> Frama_c_kernel.Cil_types.assigns -> unit
val pp_string_list : ?sep:Frama_c_kernel.Pretty_utils.sformat -> empty:string -> Stdlib.Format.formatter -> string list -> unit