updated Boogie strings so that they can refer to \" (and more)

fixed BCT :value

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