-
Alexandre Duret-Lutz authored
* src/ltlvisit/wmunabbrev.cc: Fix clone() order. * src/ltltest/equals.cc: Add a mode for unabbreviate_wm(). * src/ltltest/unabbrevwm.test: New file. * src/ltltest/Makefile.am: Add it.
1f12ad87
* src/ltlvisit/wmunabbrev.cc: Fix clone() order. * src/ltltest/equals.cc: Add a mode for unabbreviate_wm(). * src/ltltest/unabbrevwm.test: New file. * src/ltltest/Makefile.am: Add it.