-
Alexandre Duret-Lutz authored
* src/hoaparse/hoaparse.yy: Fix a map with properties, and use it to report error when state-label or trans-label are misused. * src/tgbatest/hoaparse.test: Test that.
34b798e1
* src/hoaparse/hoaparse.yy: Fix a map with properties, and use it to report error when state-label or trans-label are misused. * src/tgbatest/hoaparse.test: Test that.