• Alexandre Duret-Lutz's avatar
    tools: Add a --format option · ce5ea829
    Alexandre Duret-Lutz authored
    * src/bin/common_output.cc: Add option --format and implement
    it.
    * src/bin/ltlfilt.cc, src/bin/randltl.cc: Document the
    supported %-sequences.
    * src/bin/genltl.cc: Document the %-sequences, and supply
    the name of the pattern to output_formula().
    * doc/org/genltl.org, doc/org/ioltl.org, doc/org/ltlfilt.org,
    NEWS: Document it.
    * src/ltltest/latex.test: Use it.
    ce5ea829
ltlfilt.org 10.1 KB