• Alexandre Duret-Lutz's avatar
    simulation: build tgba_digraph · e299a3d1
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/simulation.cc: Buid a tgba_digraph as the result of the
    simulation.
    * src/tgba/tgbagraph.hh (create_namer): New function.
    * src/tgbatest/basimul.test: Add an additional test case that caused a
    bug fixed in a previous patch.
    * src/tgbatest/sim.test: Adjust.
    e299a3d1
simulation.cc 42.3 KB