From 607ef28aadb281ab61a2be493a637126e967a388 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Thu, 29 May 2014 21:41:00 +0200
Subject: Set up the same test infrastructure as in Boogie.

---
 Source/DafnyDriver/DafnyDriver.cs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index ff2cbc8c..7d8c3fdb 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -90,6 +90,11 @@ namespace Microsoft.Dafny
           Console.WriteLine("Press Enter to exit.");
           Console.ReadLine();
         }
+        if (CommandLineOptions.Clo.UseBaseNameForFileName && exitValue != ExitValue.PREPROCESSING_ERROR)
+        {
+          // TODO(wuestholz): We should probably add a separate flag for this. This is currently only used by the new testing infrastructure.
+          return 0;
+        }
         return (int)exitValue;
     }
 
@@ -322,9 +327,9 @@ namespace Microsoft.Dafny
             outputWriter.WriteLine(e.ToString());
           }
         } else if (cr.Errors.Count == 0) {
-          outputWriter.WriteLine("Compiled assembly into {0}", cr.PathToAssembly);
+          outputWriter.WriteLine("Compiled assembly into {0}", DafnyOptions.Clo.UseBaseNameForFileName ? Path.GetFileName(cr.PathToAssembly) : cr.PathToAssembly);
         } else {
-          outputWriter.WriteLine("Errors compiling program into {0}", cr.PathToAssembly);
+          outputWriter.WriteLine("Errors compiling program into {0}", DafnyOptions.Clo.UseBaseNameForFileName ? Path.GetFileName(cr.PathToAssembly) : cr.PathToAssembly);
           foreach (var ce in cr.Errors) {
             outputWriter.WriteLine(ce.ToString());
             outputWriter.WriteLine();
-- 
cgit v1.2.3