diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-10-17 17:17:22 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-10-17 17:17:22 -0700 |
| commit | 6d3b4e79719881f6741d6ef8ea72e479dbac902f (patch) | |
| tree | b9a9dabed8e1db8f402fec72a35632a33553a49f /Source/Provers/SMTLib/TypeDeclCollector.cs | |
| parent | 1287831ff49d3af811efd97d4ff9dfb7c06aa6e6 (diff) | |
added houdini to regression
changed houdini so that the initial worklist is created by queueing downstream Sccs first
Diffstat (limited to 'Source/Provers/SMTLib/TypeDeclCollector.cs')
0 files changed, 0 insertions, 0 deletions