package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

OCaml

Innovation. Community. Security.