Added /trustPhasesUpto option

1 files changed, 8 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index 88d78fa9..0d254ab7 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -489,6 +489,7 @@ namespace Microsoft.Boogie {
 

     public string OwickiGriesDesugaredOutputFile = null;

     public bool TrustAtomicityTypes = false;

+    public int TrustPhasesUpto = -1;

 

     public enum VCVariety {

       Structured,

@@ -734,6 +735,13 @@ namespace Microsoft.Boogie {
           }

           return true;

 

+        case "trustPhasesUpto":

+          if (ps.ConfirmArgumentCount(1))

+          {

+              ps.GetNumericArgument(ref TrustPhasesUpto);

+          }

+          return true;

+

         case "proverLog":

           if (ps.ConfirmArgumentCount(1)) {

             SimplifyLogFilePath = args[ps.i];