diff options
| author |  akashlal <unknown> | 2012-12-16 12:58:38 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2012-12-16 12:58:38 +0530 |
| commit | ad01f737f1b7873437da7b3e94319976e1322f22 (patch) | |
| tree | ba5a99499c3e5a28143d120cd845d11b9a558484 /Source/Houdini/Houdini.cs | |
| parent | 201743b0686fbc3f728387f19e2497bc944d18d3 (diff) | |
AbstractHoudini: bug fixes
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index f902d471..e93d41ca 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -338,7 +338,7 @@ namespace Microsoft.Boogie.Houdini { }
Inline();
-
+
this.vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend);
this.proverInterface = ProverInterface.CreateProver(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, CommandLineOptions.Clo.ProverKillTime);
|