Frama-C:
Plug-ins:
Libraries:

Frama-C API - Logic_builtin

val register : Cil_types.builtin_logic_info -> unit

Registers a builtin to be available in the environment of all projects.

  • since Frama-C+dev

Adds a logic builtin in the environment of the current project only.

val init : unit -> unit -> unit

Internal usage only: initializes kernel logic builtins.