These tests are huge, and are obsoleted by randtgba-based checks,

and by bench/emptchk/.
* src/tgbatest/tba_samples_from_spin.test: Delete.
* src/tgbatest/tba_samples_from_spin/: Delete.
* src/tgbatest/Makefile.am: Adjust.

ChangeLog

@@ -1,3 +1,11 @@
+2005-02-02  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	These tests are huge, and are obsoleted by randtgba-based checks,
+	and by bench/emptchk/.
+	* src/tgbatest/tba_samples_from_spin.test: Delete.
+	* src/tgbatest/tba_samples_from_spin/: Delete.
+	* src/tgbatest/Makefile.am: Adjust.
+
 2005-02-01  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/evtgbaparse/evtgbaparse.yy, src/evtgbaparse/evtgbascan.ll,

src/tgbatest/Makefile.am

@@ -1,4 +1,4 @@
-## Copyright (C) 2003, 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
+## Copyright (C) 2003, 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
 ## département Systèmes Répartis Coopératifs (SRC), Université Pierre
 ## et Marie Curie.
 ##
@@ -84,30 +84,9 @@ TESTS = \
   emptchke.test \
   dfs.test \
   emptchkr.test \
-  tba_samples_from_spin.test \
   spotlbtt.test
 
-EXTRA_DIST = $(TESTS) ltl2baw.pl $(TBA_SAMPLES_FROM_SPIN)
+EXTRA_DIST = $(TESTS) ltl2baw.pl
-
-TBA_SAMPLES_FROM_SPIN = \
-  tba_samples_from_spin/explicit1_1.tba \
-  tba_samples_from_spin/explicit1_2.tba \
-  tba_samples_from_spin/explicit1_3.tba \
-  tba_samples_from_spin/explicit1_4.tba \
-  tba_samples_from_spin/explicit1_5.tba \
-  tba_samples_from_spin/explicit1_6.tba \
-  tba_samples_from_spin/explicit1_7.tba \
-  tba_samples_from_spin/explicit1_8.tba \
-  tba_samples_from_spin/explicit1_9.tba \
-  tba_samples_from_spin/explicit2_1.tba \
-  tba_samples_from_spin/explicit2_2.tba \
-  tba_samples_from_spin/explicit2_3.tba \
-  tba_samples_from_spin/explicit2_4.tba \
-  tba_samples_from_spin/explicit2_5.tba \
-  tba_samples_from_spin/explicit2_6.tba \
-  tba_samples_from_spin/explicit2_7.tba \
-  tba_samples_from_spin/explicit2_8.tba \
-  tba_samples_from_spin/explicit2_9.tba
 
 CLEANFILES = \
   blue_counter \

src/tgbatest/tba_samples_from_spin.test

@@ -1,71 +0,0 @@
-#!/bin/sh
-# Copyright (C) 2004  Laboratoire d'Informatique de Paris 6 (LIP6),
-# département Systèmes Répartis Coopératifs (SRC), Université Pierre
-# et Marie Curie.
-#
-# This file is part of Spot, a model checking library.
-#
-# Spot is free software; you can redistribute it and/or modify it
-# under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
-# (at your option) any later version.
-#
-# Spot is distributed in the hope that it will be useful, but WITHOUT
-# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
-# License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with Spot; see the file COPYING.  If not, write to the Free
-# Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-# 02111-1307, USA.
-
-. ./defs
-
-set -e
-
-expect_ce()
-{
-  ./ltl2tgba -X -e "$1"
-  ./ltl2tgba -X -eCou99_shy "$1"
-  ./ltl2tgba -X -eCVWY90 "$1"
-  ./ltl2tgba -X -eCVWY90_bsh "$1"
-  ./ltl2tgba -X -eSE05 "$1"
-  ./ltl2tgba -X -eSE05_bsh "$1"
-  ./ltl2tgba -X -eTau03 "$1"
-  ./ltl2tgba -X -eTau03_opt "$1"
-}
-
-expect_no()
-{
-  ./ltl2tgba -X -E "$1"
-  ./ltl2tgba -X -ECou99_shy "$1"
-  ./ltl2tgba -X -ECVWY90 "$1"
-  ./ltl2tgba -X -ECVWY90_bsh "$1"
-  ./ltl2tgba -X -ESE05 "$1"
-  ./ltl2tgba -X -ESE05_bsh "$1"
-  ./ltl2tgba -X -ETau03 "$1"
-  ./ltl2tgba -X -ETau03_opt "$1"
-}
-
-dir=$srcdir/tba_samples_from_spin
-
-expect_no "$dir/explicit1_1.tba"
-expect_ce "$dir/explicit1_2.tba"
-expect_no "$dir/explicit1_3.tba"
-expect_no "$dir/explicit1_4.tba"
-expect_ce "$dir/explicit1_5.tba"
-expect_no "$dir/explicit1_6.tba"
-expect_no "$dir/explicit1_7.tba"
-expect_ce "$dir/explicit1_8.tba"
-expect_ce "$dir/explicit1_9.tba"
-
-expect_ce "$dir/explicit2_1.tba"
-expect_ce "$dir/explicit2_2.tba"
-expect_no "$dir/explicit2_3.tba"
-expect_no "$dir/explicit2_4.tba"
-expect_ce "$dir/explicit2_5.tba"
-expect_no "$dir/explicit2_6.tba"
-expect_ce "$dir/explicit2_7.tba"
-expect_ce "$dir/explicit2_8.tba"
-expect_no "$dir/explicit2_9.tba"