diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-12 14:02:26 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-03-12 14:02:26 -0700 |
| commit | 8f9d247e5c0aca8d811939892ab3be2a5acbdb5d (patch) | |
| tree | 8891adf39fac8bcdcbd9f73f23018a36290f9742 /Test/alltests.txt | |
| parent | b4e28294956e0c1683386cea5d07c2e1f43d5476 (diff) | |
Boogie: temporarily disabled the "datatypes" test cases, until a null dereference error in the Boogie code gets resolved
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 73ad5546..7076a370 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 SoonToBeIncluded Test for datatypes
generalizedarray Use Test for generalized array theory
livevars Use STORM benchmarks for testing correctness of live variable analysis
lazyinline Postponed Lazy inlining benchmarks
|