Minor cleanup

dafny-lang · Jan 9, 2024 · f986ba0 · f986ba0
1 parent 575e8f1
commit f986ba0
Showing 1 changed file with 4 additions and 6 deletions.
diff --git a/Source/IntegrationTests/LitTests.cs b/Source/IntegrationTests/LitTests.cs
@@ -27,8 +27,6 @@ public class LitTests {
 
     private static readonly string RepositoryRoot = Path.GetFullPath("../../../../../"); // Up from Source/IntegrationTests/bin/Debug/net6.0/
 
-    private static readonly string[] DefaultBoogieArguments;
-
     private static readonly LitTestConfiguration Config;
 
     static LitTests() {
@@ -65,10 +63,10 @@ IEnumerable<string> AddExtraArgs(IEnumerable<string> args, IEnumerable<string> l
         { "%repositoryRoot", RepositoryRoot.Replace(@"\", "/") },
       };
 
-      DefaultBoogieArguments =
+      var defaultBoogieArguments =
         File.ReadAllLines(RepositoryRoot + "Source/boogie-args.cfg")
           .Select(arg => "-" + arg)
-          .Append("/proverOpt:PROVER_PATH:" + RepositoryRoot + $"../unzippedRelease/dafny/z3/bin/z3-{DafnyOptions.DefaultZ3Version}")
+          .Append("-proverOpt:PROVER_PATH:" + RepositoryRoot + $"../unzippedRelease/dafny/z3/bin/z3-{DafnyOptions.DefaultZ3Version}")
           .ToArray();
 
       var commands = new Dictionary<string, Func<IEnumerable<string>, LitTestConfiguration, ILitCommand>> {
@@ -114,7 +112,7 @@ IEnumerable<string> AddExtraArgs(IEnumerable<string> args, IEnumerable<string> l
         }, {
           "%boogie", (args, config) => // TODO
             new DotnetToolCommand("boogie",
-              args.Concat(DefaultBoogieArguments),
+              args.Concat(defaultBoogieArguments),
               config.PassthroughEnvironmentVariables)
         }, {
           "%diff", (args, config) => DiffCommand.Parse(args.ToArray())
@@ -168,7 +166,7 @@ IEnumerable<string> AddExtraArgs(IEnumerable<string> args, IEnumerable<string> l
           new ShellLitCommand(Path.Join(dafnyReleaseDir, "DafnyServer"), args, config.PassthroughEnvironmentVariables);
         commands["%boogie"] = (args, config) =>
           new DotnetToolCommand("boogie",
-            args.Concat(DefaultBoogieArguments),
+            args.Concat(defaultBoogieArguments),
             config.PassthroughEnvironmentVariables);
         substitutions["%z3"] = Path.Join(dafnyReleaseDir, "z3", "bin", $"z3-{DafnyOptions.DefaultZ3Version}");
       }