diff options
| author |  qadeer <unknown> | 2015-01-16 10:09:26 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2015-01-16 10:09:26 -0800 |
| commit | 214b1a07c44d10eac99200147fe46e57a0297513 (patch) | |
| tree | 69b4217d2d96c23f822f9b563b88b8d57ccccfb2 /Source/ExecutionEngine | |
| parent | 2358c4a57c4fa3bd21fe97f5000f321a78534694 (diff) | |
| parent | 007a11fe5e8deda771ea4215557ad7143c8d608c (diff) | |
Merge
Diffstat (limited to 'Source/ExecutionEngine')
| -rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index 92fc9780..c0d66720 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1360,10 +1360,8 @@ namespace Microsoft.Boogie private static PipelineOutcome RunStagedHoudini(Program program, PipelineStatistics stats, ErrorReporterDelegate er)
{
Houdini.HoudiniSession.HoudiniStatistics houdiniStats = new Houdini.HoudiniSession.HoudiniStatistics();
- // TODO - pass this in somewhere
-
- Houdini.StagedHoudini houdini = new Houdini.StagedHoudini(program, ProgramFromFile);
- Houdini.HoudiniOutcome outcome = houdini.PerformStagedHoudiniInference();
+ Houdini.StagedHoudini stagedHoudini = new Houdini.StagedHoudini(program, houdiniStats, ProgramFromFile);
+ Houdini.HoudiniOutcome outcome = stagedHoudini.PerformStagedHoudiniInference();
if (CommandLineOptions.Clo.PrintAssignment)
{
|