Skip to content
  • Alexandre Duret-Lutz's avatar
    ltl2tgba: Add a --csv-escape option and document CSV I/O. · 846e33b9
    Alexandre Duret-Lutz authored
    * src/bin/common_output.cc, src/bin/common_output.hh:
    (output_formula_checked, aut_stat_printer): New.
    * src/bin/genltl.cc, src/bin/randltl.cc, src/bin/ltlfilt.cc: Call
    output_formula_checked() instead of output_formula().
    * src/bin/ltl2tgba.cc: Use aut_stat_printer and add option --csv-escape.
    * doc/org/csv.org: New file to document CSV I/O.
    * doc/Makefile.am: Add it.
    * doc/org/ioltl.org, doc/org/ltlfilt.org, doc/org/ltl2tgba.org,
    doc/org/tools.org: Link to csv.org
    846e33b9