Frama-C API - strategies
inherit Frama_c_gui.Wpalette.toolmethod register : Wp.ProofStrategy.strategy -> unitmethod connect : ?hints:Wp.ProofStrategy.strategy list -> callback option -> unit
Frama-C Frama-C strategiesinherit Frama_c_gui.Wpalette.toolmethod register : Wp.ProofStrategy.strategy -> unitmethod connect : ?hints:Wp.ProofStrategy.strategy list -> callback option -> unit