From a7d31e20b7845f9727505b7f7fd0bbf48fc05962 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 24 Jun 2003 19:01:58 +0000
Subject: [PATCH] * src/tgbatest/tripprod.test, src/tgbatest/explprod.test:
 Sort accepting conditions.

---
 ChangeLog                  |  3 +++
 src/tgbatest/explprod.test |  2 +-
 src/tgbatest/tripprod.test | 10 ++++++++--
 3 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 23f1e37d3..123ffb7dc 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2003-06-24  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* src/tgbatest/tripprod.test, src/tgbatest/explprod.test: Sort
+	accepting conditions.
+
 	* src/ltlvisit/nenoform.cc (negative_normal_form): New const variant.
 	* src/ltlvisit/nenoform.hh (negative_normal_form): New const variant.
 	* src/ltlvisit/lunabbrev.cc (unabbreviate_logic): New const variant.
diff --git a/src/tgbatest/explprod.test b/src/tgbatest/explprod.test
index 5830bfb18..239e6e335 100755
--- a/src/tgbatest/explprod.test
+++ b/src/tgbatest/explprod.test
@@ -29,7 +29,7 @@ EOF
 
 # Sort out some possible inversions in the output.
 # (The order is not guaranteed by SPOT.)
-sed 's/c a/a c/g;s/b a/a b/g;s/"p3" "p1"/"p1" "p3"/g;s/"p3" "p2"/"p1" "p3"/g;s/"p2" "p1"/"p1" "p2"/g' stdout > tmp_ &&
+sed 's/c a/a c/g;s/b a/a b/g;s/"p3" "p1"/"p1" "p3"/g;s/"p3" "p2"/"p2" "p3"/g;s/"p2" "p1"/"p1" "p2"/g' stdout > tmp_ &&
   mv tmp_ stdout
 
 cat stdout
diff --git a/src/tgbatest/tripprod.test b/src/tgbatest/tripprod.test
index 6a7639843..99920d8bf 100755
--- a/src/tgbatest/tripprod.test
+++ b/src/tgbatest/tripprod.test
@@ -27,7 +27,7 @@ s2, s3,, p4;
 EOF
 
 cat >expected <<EOF
-acc = "p2" "p3" "p4" "p1";
+acc = "p1" "p2" "p3" "p4";
 "s1 * s1 * s1", "s3 * s2 * s2", a b, "p1" "p2";
 "s1 * s1 * s1", "s2 * s2 * s2", a b, "p1" "p2";
 "s2 * s2 * s2", "s3 * s1 * s3", a c, "p3" "p4";
@@ -40,7 +40,13 @@ EOF
 
 # Sort out some possible inversions in the output.
 # (The order is not guaranteed by SPOT.)
-sed 's/c a/a c/g;s/b a/a b/g;s/"p2" "p1"/"p1" "p2"/g;s/"p4" "p3"/"p3" "p4"/g' stdout > tmp_ &&
+sed 's/c a/a c/g;s/b a/a b/g;
+     s/"p4" "p1"/"p1" "p4"/g;
+     s/"p3" "p1"/"p1" "p3"/g;
+     s/"p2" "p1"/"p1" "p2"/g;
+     s/"p4" "p2"/"p2" "p4"/g;
+     s/"p3" "p2"/"p2" "p3"/g;
+     s/"p4" "p3"/"p3" "p4"/g' stdout > tmp_ &&
   mv tmp_ stdout
 
 cat stdout