* src/ltltest/Makefile.am (EXTRA_DIST): Distribute formulae.txt.

* src/ltltest/formulae.txt: New files (2200 LTL formulea generated
by Wring).
* src/ltltest/formules.ltl: Delete.
* src/reduc.test: Read formulae.txt.

ChangeLog

+2004-05-24  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/ltltest/Makefile.am (EXTRA_DIST): Distribute formulae.txt.
+	* src/ltltest/formulae.txt: New files (2200 LTL formulea generated
+	by Wring).
+	* src/ltltest/formules.ltl: Delete.
+	* src/reduc.test: Read formulae.txt.
+
 2004-05-24  Soheib Baarir  <Souheib.Baarir@lip6.fr>
 
 	* iface/gspn/ssp.hh (gspn_ssp_interface::gspn_ssp_interface): Add

src/ltltest/Makefile.am

@@ -57,7 +57,7 @@ tunenoform_SOURCES = equals.cc
 tunenoform_CPPFLAGS = $(AM_CPPFLAGS) -DNENOFORM -DTUNABBREV
 
 
-EXTRA_DIST = $(TESTS)
+EXTRA_DIST = $(TESTS) formulae.txt
 
 # Ordered by strength of the test.  Test basic features first.
 TESTS = \

src/ltltest/reduc.test

@@ -26,16 +26,14 @@
 
 set -e
 
-FICH=${1-$srcdir/formules.ltl}
+FICH=${1-$srcdir/formulae.txt}
 
 for opt in 0 1 2 3; do
   rm -f result.data
 
   cat $FICH |
   while read f; do
-      if [ -n "$f" ] && [ "$f" != "####" ]; then
-	  ./reduc $opt "$f" >> result.data
-      fi
+    ./reduc $opt "$f" >> result.data
   done
 
   test $? == 0 || exit 1