diff options
author | 2013-07-16 10:58:02 +0100 | |
---|---|---|
committer | 2013-07-16 10:58:02 +0100 | |
commit | f61f72e613ed04f7d861d9c025e1b2d973506377 (patch) | |
tree | d2ca188965a0f3abe2254497d29893d441c7f5a5 /Source/Houdini/Houdini.cs | |
parent | 78f354c9dc7e64b915cd51b824fc7481c9f8b973 (diff) |
Extracted Houdini statistics into a record, and parametersied Houdini class with a statistics object. This means that if one runs multiple Houdini instances, each can record its own statistics.
Diffstat (limited to 'Source/Houdini/Houdini.cs')
-rw-r--r-- | Source/Houdini/Houdini.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index abc5a7e8..ee1bdb90 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -327,7 +327,7 @@ namespace Microsoft.Boogie.Houdini { public static TextWriter explainHoudiniDottyFile;
- public Houdini(Program program) {
+ public Houdini(Program program, HoudiniSession.HoudiniStatistics stats) {
this.program = program;
if (CommandLineOptions.Clo.Trace)
@@ -360,7 +360,7 @@ namespace Microsoft.Boogie.Houdini { try {
if (CommandLineOptions.Clo.Trace)
Console.WriteLine("Generating VC for {0}", impl.Name);
- HoudiniSession session = new HoudiniSession(this, vcgen, proverInterface, program, impl);
+ HoudiniSession session = new HoudiniSession(this, vcgen, proverInterface, program, impl, stats);
houdiniSessions.Add(impl, session);
}
catch (VCGenException) {
|