mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-07-22 23:19:14 +02:00
20 lines
830 B
Diff
20 lines
830 B
Diff
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)
|
|
|