diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-03-12 00:45:16 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-03-12 00:45:16 -0700 |
| commit | d82d1610ccf458031352284830c3bef02b6edda9 (patch) | |
| tree | dbc4c5b5f9dfc9c50a50e5e807aafa02b82fc6d2 /Test | |
| parent | 8b05d9558e661953b021f0d86e22d352b1227cc8 (diff) | |
updated Boogie strings so that they can refer to \" (and more)
fixed BCT :value
Diffstat (limited to 'Test')
| -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..73ad5546 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 Use 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
|