Skip to content
  • Alexandre Duret-Lutz's avatar
    randaut: new binary · c5842c3a
    Alexandre Duret-Lutz authored
    * src/bin/randaut.cc, src/bin/man/randaut.x: New files.
    * src/bin/Makefile.am, src/bin/man/Makefile.am: Adjust.
    * src/tgbaalgos/randomgraph.hh, src/tgbaalgos/randomgraph.cc:
    Add an option to output state-based acceptance, and update
    the TGBA properties.
    * src/tgbatest/randaut.test: New test.
    * src/tgbatest/Makefile.am: Add it.
    c5842c3a