Db.Main
Frama-C main interface.
Plug-in Development Guide
val extend : (unit -> unit) -> unit
Register a function to be called by the Frama-C main entry point.
val play : (unit -> unit) Stdlib.ref
Run all the Frama-C analyses. This function should be called only by toplevels.