-
Alexandre Duret-Lutz authored
* src/bin/ltlfilt.cc: Handle --universal and --eventual. Match only LTL formulas with --stutter-invariant. * src/ltltest/ltlfilt.test: New file. * src/ltltest/Makefile.am (TESTS): Add it. * NEWS: Mention these bug fixes.
2cab8197
To find the state of this project's repository at the time of any of these versions, check out the tags.