blob: 31e6619c0c44754ab93d173bef818f7c48a9f58e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/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')
|