-
Alexandre Duret-Lutz authored
* src/graph/ngraph.hh (alias_states): Deal with the case of aliasing two existing states. * src/hoaparse/hoaparse.yy: Fix handling of aliased states. * src/tgbatest/neverclaimread.test: Augment test case.
d0525871
* src/graph/ngraph.hh (alias_states): Deal with the case of aliasing two existing states. * src/hoaparse/hoaparse.yy: Fix handling of aliased states. * src/tgbatest/neverclaimread.test: Augment test case.