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 | |
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')
0 files changed, 0 insertions, 0 deletions