-
Alexandre Duret-Lutz authored
* src/hoaparse/hoaparse.yy: Store state names. * src/tgbaalgos/dotty.cc, src/tgbaalgos/hoa.cc: Output them. * src/tgbatest/readsave.test: Test this. * src/tgbatest/hoaparse.test: Update.
9add895b
* src/hoaparse/hoaparse.yy: Store state names. * src/tgbaalgos/dotty.cc, src/tgbaalgos/hoa.cc: Output them. * src/tgbatest/readsave.test: Test this. * src/tgbatest/hoaparse.test: Update.