Module Wp.Wp_errorSource

Sourceval name : string list -> string
Sourceexception Error of string * string

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

Sourceval set_model : string -> unit
Sourceval unsupported : ?model:string -> ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval not_yet_implemented : ?model:string -> ('a, Format.formatter, unit, 'b) format4 -> 'a
Sourceval pp_string_list : ?sep:Frama_c_kernel.Pretty_utils.sformat -> empty:string -> Format.formatter -> string list -> unit