package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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, Format.formatter, unit, 'b) format4 -> 'a
val not_yet_implemented : ?model:string -> ('a, Format.formatter, unit, 'b) format4 -> 'a
val pp_string_list : ?sep:Frama_c_kernel.Pretty_utils.sformat -> empty:string -> Format.formatter -> string list -> unit
OCaml

Innovation. Community. Security.