diff options
author | Ally Donaldson <unknown> | 2015-01-10 11:01:14 +0000 |
---|---|---|
committer | Ally Donaldson <unknown> | 2015-01-10 11:01:14 +0000 |
commit | 7b1b91e940fd8ec7ac60074c843eb08f5715bc91 (patch) | |
tree | 724d2b63de4490a0ed2c226cd021adcf85c00776 /Source/ExecutionEngine/ExecutionEngine.cs | |
parent | dfc5ba21c5da1c8c4133b4aa260a90dc1a9404f4 (diff) |
Removed unnecessary stage-related attributes from candidate annotations.
Diffstat (limited to 'Source/ExecutionEngine/ExecutionEngine.cs')
-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 ae833dbf..90da808a 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1361,10 +1361,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)
{
|