Frama-C:
Plug-ins:
Libraries:

Frama-C API - Wp_error

val name : string list -> string
exception Error of string * string

To be raised a feature of C/ACSL cannot be supported by a memory model or is not implemented, or ...

val set_model : string -> unit
val unsupported : ?model:string -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val not_yet_implemented : ?model:string -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
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