From 575e8f10296f25d1880abd26c4ef62473e984a99 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <aarotomb@amazon.com>
Date: Mon, 8 Jan 2024 09:14:11 -0800
Subject: [PATCH] Move boogie-args.cfg

---
 Scripts/dafny_boogie.sh                                         | 2 +-
 Source/IntegrationTests/LitTests.cs                             | 2 +-
 Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg | 2 +-
 .../TestFiles/LitTests/LitTest => }/boogie-args.cfg             | 0
 4 files changed, 3 insertions(+), 3 deletions(-)
 rename Source/{IntegrationTests/TestFiles/LitTests/LitTest => }/boogie-args.cfg (100%)

diff --git a/Scripts/dafny_boogie.sh b/Scripts/dafny_boogie.sh
index a9333594ad..6b67c0aa31 100755
--- a/Scripts/dafny_boogie.sh
+++ b/Scripts/dafny_boogie.sh
@@ -1,4 +1,4 @@
 #!/bin/bash
 ROOT=$(dirname $(dirname "${BASH_SOURCE[0]}"))
-BOOGIE_ARGS=$(sed -e 's|^|-|' "${ROOT}"/Test/boogie-args.cfg | sed -e "s|{ROOT}|$ROOT|")
+BOOGIE_ARGS=$(sed -e 's|^|-|' "${ROOT}"/Source/boogie-args.cfg | sed -e "s|{ROOT}|$ROOT|")
 dotnet tool run boogie $BOOGIE_ARGS "$@"
diff --git a/Source/IntegrationTests/LitTests.cs b/Source/IntegrationTests/LitTests.cs
index 479638533f..f7ec1d45bd 100644
--- a/Source/IntegrationTests/LitTests.cs
+++ b/Source/IntegrationTests/LitTests.cs
@@ -66,7 +66,7 @@ IEnumerable<string> AddExtraArgs(IEnumerable<string> args, IEnumerable<string> l
       };
 
       DefaultBoogieArguments =
-        File.ReadAllLines(RepositoryRoot + "Test/boogie-args.cfg")
+        File.ReadAllLines(RepositoryRoot + "Source/boogie-args.cfg")
           .Select(arg => "-" + arg)
           .Append("/proverOpt:PROVER_PATH:" + RepositoryRoot + $"../unzippedRelease/dafny/z3/bin/z3-{DafnyOptions.DefaultZ3Version}")
           .ToArray();
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
index a6eb7ae174..72bf3148ca 100644
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/lit.site.cfg
@@ -147,7 +147,7 @@ dafnyArgs = [
 ]
     
 boogieArgs = ""
-with open(repositoryRoot + '/Test/boogie-args.cfg', 'r') as boogieArgFile:
+with open(repositoryRoot + '/Source/boogie-args.cfg', 'r') as boogieArgFile:
     boogieArgs = boogieArgFile.read().splitlines() + ["proverOpt:PROVER_PATH=" + solverPath]
 
 # Add standard parameters
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/boogie-args.cfg b/Source/boogie-args.cfg
similarity index 100%
rename from Source/IntegrationTests/TestFiles/LitTests/LitTest/boogie-args.cfg
rename to Source/boogie-args.cfg