Added user option for bounding inlining depth

1 files changed, 7 insertions, 0 deletions

diff --git a/Source/Core/CommandLineOptions.ssc b/Source/Core/CommandLineOptions.ssc
index d60e7323..6808be61 100644
--- a/Source/Core/CommandLineOptions.ssc
+++ b/Source/Core/CommandLineOptions.ssc
@@ -228,6 +228,7 @@ namespace Microsoft.Boogie
     public int LazyInlining = 0;

     public int StratifiedInlining = 0;

     public int StratifiedInliningOption = 0;

+    public int RecursionBound = 500;

     public string CoverageReporterPath = null;

     

     public enum TypeEncoding { None, Predicates, Arguments, Monomorphic };

@@ -993,6 +994,12 @@ namespace Microsoft.Boogie
               }

             }

             break;
+          case "-recursionBound":

+          case "/recursionBound":

+            if (ps.ConfirmArgumentCount(1)) {

+              RecursionBound = Int32.Parse((!)args[ps.i]);

+            }

+            break;
           case "-coverageReporter":

           case "/coverageReporter":

             if (ps.ConfirmArgumentCount(1)) {