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
To find the state of this project's repository at the time of any of these versions, check out the tags..