Kernel_properties
Kernel Property Status
val reload : unit -> unit
Trigger a full reload for the table of property status.
Frama-C