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 /Test/alltests.txt | |
| parent | 1287831ff49d3af811efd97d4ff9dfb7c06aa6e6 (diff) | |
added houdini to regression
changed houdini so that the initial worklist is created by queueing downstream Sccs first
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 6e0073f2..e046dd06 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -20,7 +20,7 @@ codeexpr Use Tests code expressions prover Use Tests checking various prover options
test17 Postponed Tests inference of parameterized contracts
z3api Postponed Test for Z3 Managed .NET API prover
-houdini Postponed Test for Houdini decision procedure
+houdini Use Test for Houdini decision procedure
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
dafny2 Use More Dafny examples
|