blob: c64dab367664cf54623a62b784dd2d490af2324f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- a/Test/lit.site.cfg
+++ b/Test/lit.site.cfg
@@ -215,9 +215,9 @@ def find(name, rooot):
return name
return ""
+import shutil
solverPath = \
- find("z3-4.12.1", binaryDir) or \
- find("cvc4", binaryDir)
+ shutil.which("z3")
if not solverPath:
lit_config.fatal('Could not find solver')
|
