-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2neverclaim.test: Rename as... * src/tgbatest/ltl2neverclaim-lbtt.test: ... this. * src/tgbatest/ltl2neverclaim.test: New version, using ltlcross. * src/tgbatest/Makefile.am: Add ltl2neverclaim-lbtt.test.
081aa0d1