-
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