diff options
author | 2012-12-20 10:09:54 +0530 | |
---|---|---|
committer | 2012-12-20 10:09:54 +0530 | |
commit | 5820d0619e8cfeb38e6fae4d6f1fd6df5537b425 (patch) | |
tree | a8519375adf62ae472b231281fa7ab3f56006afd /Source/Houdini/Houdini.cs | |
parent | 6828729b6a385a70adf3e590d3acdf5a0867aab4 (diff) |
Bug fix for ExplainHoudini. Made it robust under timeouts.
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 e93d41ca..17b537eb 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -369,6 +369,7 @@ namespace Microsoft.Boogie.Houdini { explainHoudiniDottyFile.WriteLine("digraph explainHoudini {");
foreach (var constant in houdiniConstants)
explainHoudiniDottyFile.WriteLine("{0} [ label = \"{0}\" color=black ];", constant.Name);
+ explainHoudiniDottyFile.WriteLine("TimeOut [label = \"TimeOut\" color=red ];");
}
}
|