Got a double fetch tool used to make comparison of the rate of false positives
https://github.com/sslab-gatech/deadline
In the initialization Z3: CD deps/Z3 & amp; & ./init. Sh times wrong
ERROR: Invalid command line option
Mk_make. Py: Z3 Makefile generator

This script generates the Makefile for the Z3, unseen prover.
It must be executed from the Z3 root directory.
I was under the root directory of the Z3 execution init. Sh ah, why will appear this kind of problem?

CodePudding user response:

For help, not enough detail can I fill the