• Alexandre Duret-Lutz's avatar
    bin: use common_aoutput in ltl2tgba · 40fb80ea
    Alexandre Duret-Lutz authored
    * src/bin/common_aoutput.hh, src/bin/common_aoutput.cc: Adjust to
    support three kind of statistics printer, depending on whether the
    tool input formulas, automata, or nothing.
    * src/bin/randaut.cc, src/bin/autfilt.cc: Adjust.
    * src/bin/ltl2tgba.cc: Use the common_aoutput printers.  The
    --csv-escape option disappeared along the way, but it was not honored
    anyway...
    40fb80ea