-
Alexandre Duret-Lutz authored
* bin/ltlfilt.cc: Add the option. * tests/core/ltlfilt.test: Use it. * NEWS: Mention it.
Alexandre Duret-Lutz authored* bin/ltlfilt.cc: Add the option. * tests/core/ltlfilt.test: Use it. * NEWS: Mention it.
Loading
* bin/ltlfilt.cc: Add the option. * tests/core/ltlfilt.test: Use it. * NEWS: Mention it.
* bin/ltlfilt.cc: Add the option. * tests/core/ltlfilt.test: Use it. * NEWS: Mention it.