diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-03-10 23:28:58 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-03-10 23:28:58 -0800 |
| commit | ea11028b1f235fc9c9b297c756b1036041745a32 (patch) | |
| tree | 1067efb4cdb0efef9abc920b8549de07f966c98b /Source/BoogieDriver | |
| parent | 0b924f62c85b374df73b8554e3cf6b2ddca86c9b (diff) | |
houdini cleanup continued
Diffstat (limited to 'Source/BoogieDriver')
| -rw-r--r-- | Source/BoogieDriver/BoogieDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs index b765a1c3..ed70f14e 100644 --- a/Source/BoogieDriver/BoogieDriver.cs +++ b/Source/BoogieDriver/BoogieDriver.cs @@ -608,7 +608,7 @@ namespace Microsoft.Boogie { #region Run Houdini and verify
if (CommandLineOptions.Clo.ContractInfer) {
- Houdini.Houdini houdini = new Houdini.Houdini(program, true);
+ Houdini.Houdini houdini = new Houdini.Houdini(program);
Houdini.HoudiniOutcome outcome = houdini.PerformHoudiniInference();
if (CommandLineOptions.Clo.PrintAssignment) {
Console.WriteLine("Assignment computed by Houdini:");
|