-
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
69b8ed31