• Andrei Paskevich's avatar
    Prove_client: wait for the dedicated server process · 6b98a07c
    Andrei Paskevich authored
    this allows to account for the cumulative CPU time spent
    in the dedicated server in the stats of the client process,
    which is necessary to estimate correctly the execution
    time of coqtop on proof scripts using the why3 tactic.
    Also, make several connection attempts before giving up.
prove_client.ml 6.89 KB