package frama-c

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Server.Kernel_propertiesSource

Kernel Property Status

Sourceval register_propkind : name:string -> kind:[ `Clause | `Loop | `Other ] -> ?label:Frama_c_kernel.Markdown.text -> descr:Frama_c_kernel.Markdown.text -> unit -> unit

Documentation of ACSL extensions for propkind server data.

Sourceval reload : unit -> unit

Trigger a full reload for the table of property status.

OCaml

Innovation. Community. Security.