-
Alexandre Duret-Lutz authored
* src/bin/common_output.cc, src/bin/common_output.hh: Add option --output. * src/ltltest/ltlfilt.test, src/ltltest/rand.test: Add tests. * NEWS, doc/org/ioltl.org: Document it.
78def4f8
* src/bin/common_output.cc, src/bin/common_output.hh: Add option --output. * src/ltltest/ltlfilt.test, src/ltltest/rand.test: Add tests. * NEWS, doc/org/ioltl.org: Document it.