Module Db.Main

module Main: sig .. end

Frama-C main interface.


val extend : (unit -> unit) -> unit

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

val play : (unit -> unit) Pervasives.ref

Run all the Frama-C analyses. This function should be called only by toplevels.