Module Db.Main

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) Stdlib.ref

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

  • since Beryllium-20090901