Skip to content
  • Alexandre Duret-Lutz's avatar
    randaut: add option --acc-type=random · 2f42c1c9
    Alexandre Duret-Lutz authored
    Fixes #71.
    
    * src/bin/randaut.cc: Implement option --acc-type.
    * src/tgbaalgos/randomgraph.cc,
    src/tgbaalgos/randomgraph.hh (random_acceptance): New function.
    * src/tgbatest/randaut.test, wrap/python/tests/randaut.ipynb: Test it.
    2f42c1c9