diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-22 09:58:59 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-10-22 09:58:59 -0700 |
| commit | 6a01f02d8d7c57ece6f56074cb46423f4d67c21e (patch) | |
| tree | 86c6844593d0c929f81f7e67c70e80d841725449 /Test | |
| parent | a60df68bd7797189fd36d7f4504f9ca2b9b612e1 (diff) | |
include Test/datatypes
Diffstat (limited to 'Test')
| -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 0236e694..63b4fe5b 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -21,7 +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 SoonToBeIncluded Test for datatypes
+datatypes Use Test for datatypes
generalizedarray Use Test for generalized array theory
livevars Use STORM benchmarks for testing correctness of live variable analysis
stratifiedinline Use Stratified inlining benchmarks
|