Skip to content
  • Alexandre Duret-Lutz's avatar
    Make sure the degeneralization is idempotent (up to renaming of · bc416fdb
    Alexandre Duret-Lutz authored
    states).
    
    * src/tgbaalgos/tgbatba.cc: When degeneralizing to SBA, remove the
    acceptance conditions that are common to all outgoing transitions
    of this state.  This helps to make the degeneralization
    idempotent.
    * src/tgbatest/degenid.test: New test case.
    * src/tgbatest/Makefile.am: Add it.
    bc416fdb