Frama-C API - Register
Command Line Processing
val do_wp_proofs : ?provers:Why3.Whyconf.prover list -> ?interactive_mode:Prover.InteractiveMode.t -> ?scripts:bool -> ?strategies:bool -> Wpo.t Frama_c_kernel.Bag.t -> unit
Frama-C Frama-C RegisterCommand Line Processing
val do_wp_proofs : ?provers:Why3.Whyconf.prover list -> ?interactive_mode:Prover.InteractiveMode.t -> ?scripts:bool -> ?strategies:bool -> Wpo.t Frama_c_kernel.Bag.t -> unit