Skip to content
  • Alexandre Duret-Lutz's avatar
    neverclaim: fix parsing of aliased states · d0525871
    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