• Alexandre Duret-Lutz's avatar
    graph: Add a test close to the tgba_explicit_string setup. · c793d3f1
    Alexandre Duret-Lutz authored
    * src/graph/graph.hh (boxed_label): If State_Data==void, inherit from
    std::tuple<> and implement a data() method.
    (digraph::state_data): Return by reference.
    * src/graphtest/ngraph.cc, src/graphtest/ngraph.test: Test the
    case where State_Data implements the spot::state interface.
    c793d3f1