-
Etienne Renault authored
* 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
8c4a3c01