• Alexandre Duret-Lutz's avatar
    autfilt add support for --partial-degeneralize · b5e464e0
    Alexandre Duret-Lutz authored
    * bin/autfilt.cc: Add a --partial-degeneralize option.
    * NEWS: Mention it.
    * spot/twaalgos/degen.cc: Do not restrict partial_degeneralize() to
    deterministic automata.
    * spot/twaalgos/degen.hh: Adjust documentation.
    * tests/core/pdegen.test: New test case.
    * tests/Makefile.am: Add it.
    * tests/python/pdegen.py: Adjust.
    b5e464e0
Makefile.am 12.5 KB