diff options
author | 2011-12-19 21:47:03 -0800 | |
---|---|---|
committer | 2011-12-19 21:47:03 -0800 | |
commit | c4d98c26f1b69f5bfc5590f742e06c25d002ad29 (patch) | |
tree | becc4f1ce53461703301da61dfbf046c465a260c /Source/Houdini/Houdini.cs | |
parent | ffbe61e00a84987dcf70da28ec9dd7b15df78253 (diff) |
removed some extraneous parameters
Diffstat (limited to 'Source/Houdini/Houdini.cs')
-rw-r--r-- | Source/Houdini/Houdini.cs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index ce02d173..0b331356 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -327,12 +327,7 @@ namespace Microsoft.Boogie.Houdini { try {
if (CommandLineOptions.Clo.Trace)
Console.WriteLine("Generating VC for {0}", impl.Name);
- // make a different simplify log file for each function
- String simplifyLog = null;
- if (CommandLineOptions.Clo.SimplifyLogFilePath != null) {
- simplifyLog = impl.ToString() + CommandLineOptions.Clo.SimplifyLogFilePath;
- }
- HoudiniSession session = new HoudiniSession(vcgen, checker, program, impl, simplifyLog, CommandLineOptions.Clo.SimplifyLogFileAppend);
+ HoudiniSession session = new HoudiniSession(vcgen, checker, program, impl);
houdiniSessions.Add(impl, session);
}
catch (VCGenException) {
|