diff --git a/ChangeLog b/ChangeLog index 0371f5293..0458eedff 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2009-06-02 Alexandre Duret-Lutz + + * 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 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 <out +run 0 ./ltl2tgba -f -k '(b U a) | (GFa & XG!a)' >stdout cat >expected <