Frama-C:
Plug-ins:
Libraries:

Frama-C API - Main

DEPRECATED Frama-C main interface.

  • since Lithium-20081201
val extend : (unit -> unit) -> unit

Register a function to be called by the Frama-C main entry point.