Dear Why3 club, I'm currently playing around with the Why3 APIs.
I noticed that there is a non-blocking function for calling provers : Call_provers.query_call Based on my observation, the Call_provers.query_call is not running in real parallel. i.e. there is only one thread in total is running, the second prover_call will not start until the first prover_call finishes. Is this true or I didn't use it correctly ? Is there anyway to run different provers in parallel through these APIs (I know the why3ide can do this) ? bests, Ziqing Luo University of Delaware
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club