Skip to content
  • Florent D'Halluin's avatar
    Update benchmark documentation. · dc624bf5
    Florent D'Halluin authored
    * src/bench/README,
    * src/bench/common/README_AUTOMATA: Update.
    * src/bench/common/Makefile.am: Add file.
    * src/bench/common/bench_constructs.cc: New program, generate a
    sample of the benchmark automata in dot format.
    dc624bf5