-
Alexandre Duret-Lutz authored
This fixes #44. * src/bin/ltlfilt.cc: Implement -n/--max-count. * doc/org/ltlfilt.org, src/tgbatest/randpsl.test: Use it * NEWS: Document it.
8fd594f5
This fixes #44. * src/bin/ltlfilt.cc: Implement -n/--max-count. * doc/org/ltlfilt.org, src/tgbatest/randpsl.test: Use it * NEWS: Document it.