let do_wp_proofs () =
match Wpo.prover_of_name (Wp_parameters.Prover.get ()) with
| None -> ()
| Some prover ->
let server = Prover.server () in
try
Wpo.iter ~on_goal:(do_wp_proof server prover) () ;
Task.launch server ;
Proof.savescripts () ;
with e ->
Task.cancel_all server ;
raise e