various changes for duality from dead codeplex repo

1 files changed, 10 insertions, 1 deletions

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('\\', '-');