From 073ddcc74e239cb9b270cc2e6db60e1daa033518 Mon Sep 17 00:00:00 2001
From: "U-REDMOND\\kenmcmil"
 <kenmcmil@KENMCMIL-ASUS.redmond.corp.microsoft.com>
Date: Tue, 9 Jun 2015 15:51:05 -0700
Subject: various changes for duality from dead codeplex repo

---
 Source/Core/CommandLineOptions.cs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'Source/Core')

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index be371fcb..1564b76b 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -418,6 +418,8 @@ namespace Microsoft.Boogie {
     public string SimplifyLogFilePath = null;
     public bool PrintInstrumented = false;
     public bool InstrumentWithAsserts = false;
+    public string ProverPreamble = null;
+
     public enum InstrumentationPlaces {
       LoopHeaders,
       Everywhere
@@ -938,7 +940,14 @@ namespace Microsoft.Boogie {
           }
           return true;
 
-        case "logPrefix":
+        case "proverPreamble": 
+          if (ps.ConfirmArgumentCount(1))
+          {
+            ProverPreamble = args[ps.i];
+          }
+           return true;
+          
+          case "logPrefix":
           if (ps.ConfirmArgumentCount(1)) {
             string s = cce.NonNull(args[ps.i]);
             LogPrefix += s.Replace('/', '-').Replace('\\', '-');
-- 
cgit v1.2.3