-
Alexandre Duret-Lutz authored
Because src/ltltest/stutter.test is stronger. * src/tgbatest/stutter_invariant.test: Remove. * src/tgbatest/Makefile.am: Adjust.
9effca69
Because src/ltltest/stutter.test is stronger. * src/tgbatest/stutter_invariant.test: Remove. * src/tgbatest/Makefile.am: Adjust.