let check logs w =
let timeout = Wp_parameters.Timeout.get () in
let stdout = Buffer.create 80 in
let goal = PO.make L_altergo w in
Logs.add_file logs goal ;
let args = [| "-type-only"; goal |] in
Logs.command logs "alt-ergo" args ;
Task.command ~timeout ~stdout "alt-ergo" args
>>? Logs.output logs stdout
>>= fun s ->
if (s = 0) then Task.return Valid
else Task.return Invalid