-
Alexandre Duret-Lutz authored
* src/tgba/tgbaexplicit.hh (merge_transitions): Use a hash table to merge compatible transitions. * src/tgbatest/readsave.test: Add a test case.
31fb3d9d
* src/tgba/tgbaexplicit.hh (merge_transitions): Use a hash table to merge compatible transitions. * src/tgbatest/readsave.test: Add a test case.