From 8c4a3c01255c6f69ef90dc9c8efa26a79bb2991c Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 22 Apr 2015 21:47:52 +0200
Subject: [PATCH] Ensure that all tests have different names.

* src/ltltest/Makefile.am, src/tgbatest/Makefile.am: update references.
* src/ltltest/exclusive.test, src/ltltest/stutter.test,
src/tgbatest/exclusive.test, src/tgbatest/stutter.test: rename as...
* src/ltltest/exclusive-ltl.test, src/ltltest/stutter-ltl.test,
src/tgbatest/exclusive-tgba.test,
src/tgbatest/stutter-tgba.test: ...these
---
 src/ltltest/Makefile.am                              | 4 ++--
 src/ltltest/{exclusive.test => exclusive-ltl.test}   | 0
 src/ltltest/{stutter.test => stutter-ltl.test}       | 0
 src/tgbatest/Makefile.am                             | 4 ++--
 src/tgbatest/{exclusive.test => exclusive-tgba.test} | 0
 src/tgbatest/{stutter.test => stutter-tgba.test}     | 0
 6 files changed, 4 insertions(+), 4 deletions(-)
 rename src/ltltest/{exclusive.test => exclusive-ltl.test} (100%)
 rename src/ltltest/{stutter.test => stutter-ltl.test} (100%)
 rename src/tgbatest/{exclusive.test => exclusive-tgba.test} (100%)
 rename src/tgbatest/{stutter.test => stutter-tgba.test} (100%)

diff --git a/src/ltltest/Makefile.am b/src/ltltest/Makefile.am
index 9850d3d00..934a530c5 100644
--- a/src/ltltest/Makefile.am
+++ b/src/ltltest/Makefile.am
@@ -98,7 +98,7 @@ TESTS = \
   ltlgrind.test \
   ltlcrossgrind.test \
   ltlfilt.test \
-  exclusive.test \
+  exclusive-ltl.test \
   latex.test \
   lbt.test \
   lenient.test \
@@ -111,7 +111,7 @@ TESTS = \
   reduccmp.test \
   uwrm.test \
   eventuniv.test \
-  stutter.test
+  stutter-ltl.test
 
 distclean-local:
 	rm -rf $(TESTS:.test=.dir)
diff --git a/src/ltltest/exclusive.test b/src/ltltest/exclusive-ltl.test
similarity index 100%
rename from src/ltltest/exclusive.test
rename to src/ltltest/exclusive-ltl.test
diff --git a/src/ltltest/stutter.test b/src/ltltest/stutter-ltl.test
similarity index 100%
rename from src/ltltest/stutter.test
rename to src/ltltest/stutter-ltl.test
diff --git a/src/tgbatest/Makefile.am b/src/tgbatest/Makefile.am
index 97a87b3d2..5234d545c 100644
--- a/src/tgbatest/Makefile.am
+++ b/src/tgbatest/Makefile.am
@@ -92,7 +92,7 @@ TESTS = \
   explpro4.test \
   tripprod.test \
   dupexp.test \
-  exclusive.test \
+  exclusive-tgba.test \
   remprop.test \
   degendet.test \
   degenid.test \
@@ -121,7 +121,7 @@ TESTS = \
   isomorph.test \
   uniq.test \
   sbacc.test \
-  stutter.test \
+  stutter-tgba.test \
   emptchk.test \
   emptchke.test \
   dfs.test \
diff --git a/src/tgbatest/exclusive.test b/src/tgbatest/exclusive-tgba.test
similarity index 100%
rename from src/tgbatest/exclusive.test
rename to src/tgbatest/exclusive-tgba.test
diff --git a/src/tgbatest/stutter.test b/src/tgbatest/stutter-tgba.test
similarity index 100%
rename from src/tgbatest/stutter.test
rename to src/tgbatest/stutter-tgba.test
-- 
GitLab