diff options
Diffstat (limited to 'Source/Houdini')
| -rw-r--r-- | Source/Houdini/Checker.cs | 2 | ||||
| -rw-r--r-- | Source/Houdini/Houdini.cs | 7 |
2 files changed, 2 insertions, 7 deletions
diff --git a/Source/Houdini/Checker.cs b/Source/Houdini/Checker.cs index e36d32ef..1cb27648 100644 --- a/Source/Houdini/Checker.cs +++ b/Source/Houdini/Checker.cs @@ -25,7 +25,7 @@ namespace Microsoft.Boogie.Houdini { private ProverInterface.ErrorHandler handler;
ConditionGeneration.CounterexampleCollector collector;
- public HoudiniSession(VCGen vcgen, Checker checker, Program program, Implementation impl, string logFilePath, bool appendLogFile) {
+ public HoudiniSession(VCGen vcgen, Checker checker, Program program, Implementation impl) {
descriptiveName = impl.Name;
collector = new ConditionGeneration.CounterexampleCollector();
collector.OnProgress("HdnVCGen", 0, 0, 0.0);
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) {
|