From 4de885afb12f5fe4689ef04e53bdeb2359ffc656 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 2 Jun 2009 17:30:52 +0200
Subject: [PATCH] * src/tgbatest/scc.test: Redirect stdout into file `stdout'
 instead of `out', to conform to other tests, and add a missing call to diff.

---
 ChangeLog             | 6 ++++++
 src/tgbatest/scc.test | 7 ++++---
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 0371f5293..0458eedff 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2009-06-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/tgbatest/scc.test: Redirect stdout into file `stdout'
+	instead of `out', to conform to other tests, and add a missing
+	call to diff.
+
 2009-06-02  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Introduce some experimental kripke classes to simplify writing
diff --git a/src/tgbatest/scc.test b/src/tgbatest/scc.test
index 6b7c69a75..8fb9f30bc 100755
--- a/src/tgbatest/scc.test
+++ b/src/tgbatest/scc.test
@@ -24,7 +24,7 @@
 set -e
 
 
-run 0 ./ltl2tgba -f -k '(a U c) U b & (b U c)' >out
+run 0 ./ltl2tgba -f -k '(a U c) U b & (b U c)' >stdout
 cat >expected <<EOF
 transitions: 15
 states: 6
@@ -34,10 +34,10 @@ dead SCCs: 0
 accepting paths: 4
 dead paths: 0
 EOF
-diff out expected
+diff stdout expected
 
 
-run 0 ./ltl2tgba -f -k '(b U a) | (GFa & XG!a)' >out
+run 0 ./ltl2tgba -f -k '(b U a) | (GFa & XG!a)' >stdout
 cat >expected <<EOF
 transitions: 7
 states: 4
@@ -47,3 +47,4 @@ dead SCCs: 1
 accepting paths: 2
 dead paths: 1
 EOF
+diff stdout expected