Kernel_properties (frama-c-server.Server.Kernel

val 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.

val reload : unit -> unit

Trigger a full reload for the table of property status.