module Main: sig
.. end
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.
Consult the Plugin Development Guide for additional details.
val play : (unit -> unit) Pervasives.ref
Run all the Frama-C analyses. This function should be called only by
toplevels.
Since Beryllium-20090901