Activate Z3 if no other SMT solver is configured #3048
This fixes the recent testRunAllFunProofs failures. Without this fix, only Z3_FP is run when reloading a proof.
Artifacts
- 28. Feb 2023 15:15 (3379.30 kB large)
This fixes the recent testRunAllFunProofs failures. Without this fix, only Z3_FP is run when reloading a proof.