Skip to content
  • Alexandre Duret-Lutz's avatar
    unabbreviate_wm: fix a segfault. · 1f12ad87
    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