package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Message and logging facility for abstract lattices.

type t =
  1. | Approximation of string
    (*

    Abstract transfer function that intentionally approximates its result

    *)
  2. | Imprecision of string
    (*

    Abstract transfer function not fully implemented

    *)
  3. | Costly of string
    (*

    Abstract operation will be costly

    *)
  4. | Unsoundness of string
    (*

    Unsound abstract operation

    *)
type emitter
val register : string -> emitter

Register a new emitter for a message.

val emit : emitter -> t -> unit

Emit a message.

val emit_imprecision : emitter -> string -> unit
val emit_approximation : emitter -> ('a, Format.formatter, unit) format -> 'a
val emit_costly : emitter -> ('a, Format.formatter, unit) format -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct