blob: 87ce510a3592f9c7b22202025ce57de3ba437d98 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
index d7945a9..2a175fe 100644
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
@@ -106,7 +106,7 @@ testDafnyExecutableResolver = 'dotnet run --no-build --project ' + quotePath(os.
defaultServerExecutable = 'dotnet run --no-build --project ' + quotePath(os.path.join(sourceDirectory, 'DafnyServer', 'DafnyServer.csproj'))
serverExecutable = lit_config.params.get('serverExecutable', defaultServerExecutable)
-boogieExecutable = 'dotnet tool run boogie'
+boogieExecutable = 'boogie'
config.suffixes.append('.transcript')
@@ -217,6 +217,7 @@ solverRoots = os.pathsep.join(
print(solverRoots)
solverPath = \
+ shutil.which("z3") or \
lit.util.which("z3-4.8.5", solverRoots) or \
lit.util.which("cvc4", solverRoots)
|