Frama-C API - ProofStrategy
val name : strategy -> stringval loc : strategy -> Frama_c_kernel.Cil_types.locationval find : string -> strategy optionval hints : ?node:ProofEngine.node -> Wpo.t -> strategy listval has_hint : Wpo.t -> boolval iter : (strategy -> unit) -> unitval default : unit -> strategy listval alternatives : strategy -> alternative listval provers : ?default:VCS.prover list -> alternative -> VCS.prover list * floatval auto : alternative -> Strategy.heuristic optionval fallback : alternative -> strategy optionval tactic : ProofEngine.tree -> ProofEngine.node -> strategy -> alternative -> ProofEngine.node list optionval pp_strategy : Stdlib.Format.formatter -> strategy -> unitval pp_alternative : Stdlib.Format.formatter -> alternative -> unit