package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.Wp_error`Source

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

val unsupported : 
  ?model:string ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

val not_yet_implemented : 
  ?model:string ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

val pp_logic_label : 
  Format.formatter ->
  Frama_c_kernel.Cil_types.logic_label ->
  unit

Sourceval pp_assigns : Format.formatter -> Frama_c_kernel.Cil_types.assigns -> unit

val pp_string_list : 
  ?sep:Frama_c_kernel.Pretty_utils.sformat ->
  empty:string ->
  Format.formatter ->
  string list ->
  unit