• Alexandre Duret-Lutz's avatar
    hoa,dot: propagate state names · 9add895b
    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
hoa.cc 8.37 KB