diff options
author | 2012-01-05 07:20:07 -0800 | |
---|---|---|
committer | 2012-01-05 07:20:07 -0800 | |
commit | a78d4e8545217d1ee62cb64a170ca9100a7ca60a (patch) | |
tree | 2716a6fcc6ff1d5abb54e7d09624d6906b80a43e /Test/alltests.txt | |
parent | feb840650169f8e89d752307e7c4d699281b1958 (diff) |
Disable datatypes test until Z3 is updated.
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 62755c3a..dced2455 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 Use Test for datatypes
+datatypes DisabledUntilZ3IsUpdated Test for datatypes
generalizedarray Use Test for generalized array theory
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
|