Currently, we are relying on the same USE_CVC4 and USE_Z3 cmake flags as the built-in SMT checker. However, our dependency on the solvers is more lightweight (we only require binaries), and the SMT solver has been causing build errors recently. It would be nice to be able to separately disable the built-in SMT checker, but still allow solc-verify to find the desired solver.
hajduakos
commented
4 years ago
Currently, we are relying on the same
USE_CVC4andUSE_Z3cmake flags as the built-in SMT checker. However, our dependency on the solvers is more lightweight (we only require binaries), and the SMT solver has been causing build errors recently. It would be nice to be able to separately disable the built-in SMT checker, but still allow solc-verify to find the desired solver.