Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    dot: add option to number transitions · ecfd9b77
    Alexandre Duret-Lutz authored 
    * src/tgbaalgos/dotty.cc: Add option 'o'.
* src/bin/common_aoutput.cc, src/bin/dstar2tgba.cc: Document it.
* src/taalgos/dotty.cc: Ignore this option.
* src/tgbatest/readsave.test: Test it.
    ecfd9b77