diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-12-30 20:39:58 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-12-30 20:39:58 -0800 |
| commit | 8678d4ddf2d9558e286f1ab3c721ed866e2236f7 (patch) | |
| tree | f35a25fd92df8516fb2e1eb26942cf0981b57970 /Test/alltests.txt | |
| parent | 6344c5f8f46f03e307b27ccb4e60cc2709413ebc (diff) | |
added a test for generalized array theory
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 8b4f00f6..62755c3a 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -22,6 +22,7 @@ test17 Postponed Tests inference of parameterized contracts z3api Postponed Test for Z3 Managed .NET API prover
houdini Use Test for Houdini decision procedure
datatypes Use Test for datatypes
+generalizedarray Use Test for generalized array theory
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
dafny2 Use More Dafny examples
|