• Johannes Kanig's avatar
    replace prover spawning by connection to why3server · 69b8ed31
    Johannes Kanig authored
    * previous implementations of call_on_file and call_on_buffer are
      removed, and now directly use the prove_file_server function
    * now, both blocking and nonblocking reading is supported on the socket
    * wait_on_call and query_call are implemented by blocking and
      nonblocking read, together with a result buffer, if results for other
      prover runs are returned
    * logging of the server is now optional
prove_client.ml 3.97 KB