Made the Boogie driver return an exit code.

1 files changed, 3 insertions, 1 deletions

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 12a6084f..cba74bc5 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -24,7 +24,7 @@ namespace Microsoft.Boogie {
   public class OnlyBoogie

   {

 

-    public static void Main(string[] args)

+    public static int Main(string[] args)

     {

       Contract.Requires(cce.NonNullElements(args));

 

@@ -90,6 +90,7 @@ namespace Microsoft.Boogie {
         }

       }

       ExecutionEngine.ProcessFiles(fileList);

+      return 0;

 

     END:

       if (CommandLineOptions.Clo.XmlSink != null) {

@@ -99,6 +100,7 @@ namespace Microsoft.Boogie {
         Console.WriteLine("Press Enter to exit.");

         Console.ReadLine();

       }

+      return 1;

     }

   }

 }