Frama-C API - autosearch
inherit Frama_c_gui.Wpalette.toolmethod register : Wp.Strategy.heuristic -> unitmethod connect : auto_callback option -> unit
Frama-C Frama-C autosearchinherit Frama_c_gui.Wpalette.toolmethod register : Wp.Strategy.heuristic -> unitmethod connect : auto_callback option -> unit