On 25/11/2014 13:59, K. Siaulys wrote:
My guess is that command line option -rs was removed from Z3 version 4.3.2.
Yes, that's indeed the case.
What should I do to get Z3 working with Why3 - downgrade to 4.3.1 or install it next to 4.3.2, remove -rs option from "command" line in provers-detection-data.conf file, or something else?
My advice is to simply remove -rs from the Z3 entry in your local .why3.conf generated by running why3config --detect-provers.
-- Yannick Moy, Senior Software Engineer, AdaCore _______________________________________________ Why3-club mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
