summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Source/BoogieDriver/BoogieDriver.cs4
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;
}
}
}