• Etienne Renault's avatar
    Ensure that all tests have different names. · 8c4a3c01
    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
stutter-tgba.test 1.99 KB