• Alexandre Duret-Lutz's avatar
    tgba_digraph: Fix handling of initial state. · ff83e92d
    Alexandre Duret-Lutz authored
    * src/tgba/tgbagraph.hh: Store the number of the initial state, not a
    pointer to it, because if the state vector is reallocated due to some
    later calls to new_state(), this pointer will be invalid.
    * src/graphtest/tgbagraph.cc, src/graphtest/tgbagraph.test: Test
    for this.