diff options
author | akashlal <unknown> | 2014-05-10 22:24:51 +0530 |
---|---|---|
committer | akashlal <unknown> | 2014-05-10 22:24:51 +0530 |
commit | bdd275bf0225ffcaaf43da22ed09c5937a7b14bc (patch) | |
tree | ddf5828552b8e191fa6527cc0d2f53b082486579 /Source/Core | |
parent | c63590a623a773434c6736c12a834249730647e4 (diff) |
Added stack bounding
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index a5c63243..d4ffa860 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -601,6 +601,7 @@ namespace Microsoft.Boogie { public int StratifiedInliningVerbose = 0; // verbosity level
public int RecursionBound = 500;
public bool NonUniformUnfolding = false;
+ public int StackDepthBound = 0;
public string inferLeastForUnsat = null;
// Inference mode for fixed point engine
@@ -1146,7 +1147,12 @@ namespace Microsoft.Boogie { RecursionBound = Int32.Parse(cce.NonNull(args[ps.i]));
}
return true;
-
+ case "stackDepthBound":
+ if (ps.ConfirmArgumentCount(1))
+ {
+ StackDepthBound = Int32.Parse(cce.NonNull(args[ps.i]));
+ }
+ return true;
case "stratifiedInlineOption":
if (ps.ConfirmArgumentCount(1)) {
StratifiedInliningOption = Int32.Parse(cce.NonNull(args[ps.i]));
|