• Alexandre Duret-Lutz's avatar
    ltlfilt: add --recurrence and --persistence · de8a248f
    Alexandre Duret-Lutz authored
    * spot/twaalgos/remfin.cc, spot/twaalgos/remfin.hh
    (rabin_to_buchi_maybe): Make this function public.
    * bin/ltlfilt.cc: Implement the two options.
    * tests/core/hierarchy.test: New file.
    * tests/Makefile.am: Add it.
    * NEWS: Mention the new options.
    de8a248f
hierarchy.test 1.85 KB