let do_wp_proofs_for goals =
let pname = Wp_parameters.Prover.get () in
match Wpo.prover_of_name pname with
| None -> ()
| Some prover ->
let interactive = Wpo.is_interactive pname in
let server = Prover.server () in
try
Bag.iter (do_wp_proof server interactive prover) goals ;
Task.launch server ;
with e ->
Task.cancel_all server ;
raise e