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