blob: 10defdcb095b12b4186d20c961a63df13fe5fad6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
@@ -109,7 +109,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')
@@ -222,6 +222,7 @@ solverRoots = os.pathsep.join(
print(solverRoots)
solverPath = \
+ shutil.which("z3") or \
lit.util.which("z3-4.12.1", solverRoots) or \
lit.util.which("cvc4", solverRoots)
|
