Frama-C:
Plug-ins:
Libraries:

Frama-C API - GuiProver

val no_status : Frama_c_gui.Widget.icon
val ok_status : Frama_c_gui.Widget.icon
val ko_status : Frama_c_gui.Widget.icon
val wg_status : Frama_c_gui.Widget.icon
val smoke_status : Frama_c_gui.Widget.icon
val filter : Wp.VCS.prover -> bool
class prover : console:Frama_c_gui.Wtext.text -> prover:Wp.VCS.prover -> object ... end

Requires filter prover.