diff options
author | 2013-07-18 17:27:41 +0100 | |
---|---|---|
committer | 2013-07-18 17:27:41 +0100 | |
commit | 0f5809abee55aa22f2b496c826ea5b8f1a222e7d (patch) | |
tree | c909d3ab682e5814a971d991e3db8f45485a882e /Source/Core | |
parent | f61f72e613ed04f7d861d9c025e1b2d973506377 (diff) |
Revamp of staged Houdini, and completion of parallel support.
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 51034bf3..d09678dc 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -401,6 +401,7 @@ namespace Microsoft.Boogie { public bool DebugStagedHoudini = false;
public bool StagedHoudiniReachabilityAnalysis = false;
public bool StagedHoudiniMergeIgnoredCandidates = false;
+ public int StagedHoudiniThreads = 2;
public string VariableDependenceIgnore = null;
public string AbstractHoudini = null;
public bool UseUnsatCoreForContractInfer = false;
@@ -901,6 +902,11 @@ namespace Microsoft.Boogie { return true;
}
+ case "stagedHoudiniThreads": {
+ ps.GetNumericArgument(ref StagedHoudiniThreads);
+ return true;
+ }
+
case "stagedHoudiniReachabilityAnalysis": {
if (ps.ConfirmArgumentCount(0)) {
StagedHoudiniReachabilityAnalysis = true;
|