From fc94d6c4467389d1bdabef984919c7da876dacde Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 19 Jun 2003 13:00:00 +0000
Subject: [PATCH] * src/tgbatest/tripprod.test, src/tgbatest/explprod.test,
 src/tgbatest/readsave.test: Adjust to reflect yesterday's bddprint.cc change.

---
 ChangeLog                  |  6 ++++++
 src/tgbatest/explprod.test |  6 +++---
 src/tgbatest/readsave.test |  4 ++--
 src/tgbatest/tripprod.test | 12 ++++++------
 4 files changed, 17 insertions(+), 11 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 105866bca..cb8e3b17f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2003-06-19  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgbatest/tripprod.test, src/tgbatest/explprod.test,
+	src/tgbatest/readsave.test: Adjust to reflect yesterday's
+	bddprint.cc change.
+
 2003-06-18  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgba/bddprint.cc (print_handler): Quote promises
diff --git a/src/tgbatest/explprod.test b/src/tgbatest/explprod.test
index 8a091429b..faca78bc0 100755
--- a/src/tgbatest/explprod.test
+++ b/src/tgbatest/explprod.test
@@ -17,9 +17,9 @@ s2, s1, a, p3;
 EOF
 
 cat >expected <<EOF
-"s1 * s1", "s3 * s2", a b, p2;
-"s1 * s1", "s2 * s2", b, p2 p1;
-"s2 * s2", "s3 * s1", c a, p3;
+"s1 * s1", "s3 * s2", a b, "p2";
+"s1 * s1", "s2 * s2", b, "p2" "p1";
+"s2 * s2", "s3 * s1", c a, "p3";
 EOF
 
 ./explprod input1 input2 > stdout
diff --git a/src/tgbatest/readsave.test b/src/tgbatest/readsave.test
index 04ea445d7..70514c259 100755
--- a/src/tgbatest/readsave.test
+++ b/src/tgbatest/readsave.test
@@ -13,8 +13,8 @@ EOF
 ./readsave input > stdout
 
 cat >expected <<EOF
-"s1", "s2", a !b, c d;
-"s2", "state 3", a, !c;
+"s1", "s2", a !b, "c" "d";
+"s2", "state 3", a, !"c";
 "state 3", "s1", , ;
 EOF
 
diff --git a/src/tgbatest/tripprod.test b/src/tgbatest/tripprod.test
index bf53e8546..2b3509b40 100755
--- a/src/tgbatest/tripprod.test
+++ b/src/tgbatest/tripprod.test
@@ -24,12 +24,12 @@ s2, s3,, p4;
 EOF
 
 cat >expected <<EOF
-"s1 * s1 * s1", "s3 * s2 * s2", a b, p2;
-"s1 * s1 * s1", "s2 * s2 * s2", a b, p2 p1;
-"s2 * s2 * s2", "s3 * s1 * s3", c a, p3 p4;
-"s1 * s1 * s1", "s3 * s2 * s3", a b, p2;
-"s1 * s1 * s1", "s2 * s2 * s3", b, p2 p1;
-"s2 * s2 * s3", "s3 * s1 * s2", c a, p3 p4;
+"s1 * s1 * s1", "s3 * s2 * s2", a b, "p2";
+"s1 * s1 * s1", "s2 * s2 * s2", a b, "p2" "p1";
+"s2 * s2 * s2", "s3 * s1 * s3", c a, "p3" "p4";
+"s1 * s1 * s1", "s3 * s2 * s3", a b, "p2";
+"s1 * s1 * s1", "s2 * s2 * s3", b, "p2" "p1";
+"s2 * s2 * s3", "s3 * s1 * s2", c a, "p3" "p4";
 EOF
 
 ./tripprod input1 input2 input3 > stdout