• Alexandre Lewkowicz's avatar
    maskkeep: Add a tgba_digraph version · dcad10fc
    Alexandre Lewkowicz authored
    * src/bin/autfilt.cc: Add option --keep-states.
    * src/tgbaalgos/mask.cc, src/tgbaalgos/mask.hh: Keep the selected states
    and update the initial state.
    * src/tgbatest/Makefile.am: Adjust.
    * src/tgbatest/maskkeep.test: New file.
    dcad10fc
autfilt.cc 15.7 KB