diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-12-29 16:16:44 -0800 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-12-29 16:16:44 -0800 |
| commit | 632fab8f4609ef7cb1d00af37b711bc4a420422e (patch) | |
| tree | 00caddd7285d11f9255b70c8c20ea2f40ee6769f /Test/alltests.txt | |
| parent | 08e9539279d31cfb650e0e55984216f5c8ffcd25 (diff) | |
added the datatypes test
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 baffc2a1..8b4f00f6 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -21,6 +21,7 @@ prover Use Tests checking various prover options 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
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
dafny2 Use More Dafny examples
|