diff options
| author |  akashlal <unknown> | 2012-12-12 20:47:16 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2012-12-12 20:47:16 +0530 |
| commit | 0c1bb5a94857020462d5a160f06ae9993bb2ea4d (patch) | |
| tree | 44e1256f45bbffca00eeadce398b14aa5e022a4c /Source/Houdini/Houdini.cs | |
| parent | 014e67bee88932bcb9f0f3c5a1a98398a7cefa24 (diff) | |
Added some comments
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 2d695490..f902d471 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -364,6 +364,7 @@ namespace Microsoft.Boogie.Houdini { if (CommandLineOptions.Clo.ExplainHoudini)
{
+ // Print results of ExplainHoudini to a dotty file
explainHoudiniDottyFile = new StreamWriter("explainHoudini.dot");
explainHoudiniDottyFile.WriteLine("digraph explainHoudini {");
foreach (var constant in houdiniConstants)
|