diff options
Diffstat (limited to 'Test/alltests.txt')
-rw-r--r-- | Test/alltests.txt | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index dced2455..7076a370 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -21,17 +21,17 @@ 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 DisabledUntilZ3IsUpdated 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
+stratifiedinline Use Stratified inlining benchmarks
+extractloops Use Extract loops benchmarks
+havoc0 Use HAVOC-generated bpl files
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
dafny2 Use More Dafny examples
-havoc0 Use HAVOC-generated bpl files
VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
vstte2012 Use Dafny solutions for the VSTTE 2012 program verification competition
-livevars Use STORM benchmarks for testing correctness of live variable analysis
-lazyinline Postponed Lazy inlining benchmarks
-stratifiedinline Use Stratified inlining benchmarks
-extractloops Use Extract loops benchmarks
VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|