Skip to content
  • Alexandre Duret-Lutz's avatar
    dotty: switch to horizontal output and add options · 0f178288
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/dotty.cc, src/tgbaalgos/dotty.hh: Add an options
    parameter.
    * src/bin/randaut.cc, src/bin/autfilt.cc, src/bin/dstar2tgba.cc,
    src/bin/ltl2tgba.cc, wrap/python/ajax/spot.in: Use it.
    * src/tgbatest/det.test, src/tgbatest/dstar.test,
    src/tgbatest/ltl2tgba.cc, src/tgbatest/monitor.test,
    src/tgbatest/neverclaimread.test, src/tgbatest/tgbaread.test,
    src/graphtest/tgbagraph.test: Adjust
    because automata are now output horizontally.
    * NEWS: Mention the change.
    0f178288