package frama-c

  1. Overview
  2. Docs

doc/frama-c-wp.gui/Wp_gui/GuiTactic/class-strategies/index.html

Class GuiTactic.strategiesSource

method register : Wp.ProofStrategy.strategy -> unit
method connect : ?hints:Wp.ProofStrategy.strategy list -> callback option -> unit
OCaml

Innovation. Community. Security.