mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-12-20 10:21:19 +00:00
19 lines
801 B
Diff
19 lines
801 B
Diff
--- 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)
|
|
|