* 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

+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

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