From 628a4f1fbf5099644100583fe01e5125cdec0f17 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 3 Jun 2013 15:57:45 -0700
Subject: Did some refactoring in the Boogie driver.

---
 Source/ExecutionEngine/ExecutionEngine.cs     | 10 +++++-----
 Source/ExecutionEngine/ExecutionEngine.csproj |  2 +-
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index e58f4117..c818e68e 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -247,7 +247,7 @@ namespace Microsoft.Boogie
     }
 
 
-    static void PrintBplFile(string filename, Program program, bool allowPrintDesugaring, bool setTokens = true)
+    public static void PrintBplFile(string filename, Program program, bool allowPrintDesugaring, bool setTokens = true)
     {
       Contract.Requires(program != null);
       Contract.Requires(filename != null);
@@ -376,7 +376,7 @@ namespace Microsoft.Boogie
     ///  - TypeCheckingError if a type checking error occurred
     ///  - ResolvedAndTypeChecked if both resolution and type checking succeeded
     /// </summary>
-    static PipelineOutcome ResolveAndTypecheck(Program program, string bplFileName)
+    public static PipelineOutcome ResolveAndTypecheck(Program program, string bplFileName)
     {
       Contract.Requires(program != null);
       Contract.Requires(bplFileName != null);
@@ -430,7 +430,7 @@ namespace Microsoft.Boogie
     }
 
 
-    static void EliminateDeadVariablesAndInline(Program program)
+    public static void EliminateDeadVariablesAndInline(Program program)
     {
       Contract.Requires(program != null);
       // Eliminate dead variables
@@ -676,8 +676,8 @@ namespace Microsoft.Boogie
     ///  - VerificationCompleted if inference and verification completed, in which the out
     ///    parameters contain meaningful values
     /// </summary>
-    static PipelineOutcome InferAndVerify(Program program,
-                                          out int errorCount, out int verified, out int inconclusives, out int timeOuts, out int outOfMemories)
+    public static PipelineOutcome InferAndVerify(Program program,
+                                                 out int errorCount, out int verified, out int inconclusives, out int timeOuts, out int outOfMemories)
     {
       Contract.Requires(program != null);
       Contract.Ensures(0 <= Contract.ValueAtReturn(out inconclusives) && 0 <= Contract.ValueAtReturn(out timeOuts));
diff --git a/Source/ExecutionEngine/ExecutionEngine.csproj b/Source/ExecutionEngine/ExecutionEngine.csproj
index bd323d8b..60c9fee1 100644
--- a/Source/ExecutionEngine/ExecutionEngine.csproj
+++ b/Source/ExecutionEngine/ExecutionEngine.csproj
@@ -19,7 +19,7 @@
     <DebugSymbols>true</DebugSymbols>
     <DebugType>full</DebugType>
     <Optimize>false</Optimize>
-    <OutputPath>bin\Debug\</OutputPath>
+    <OutputPath>..\..\Binaries\</OutputPath>
     <DefineConstants>DEBUG;TRACE</DefineConstants>
     <ErrorReport>prompt</ErrorReport>
     <WarningLevel>4</WarningLevel>
-- 
cgit v1.2.3