1 commit

Author	SHA1	Message	Date
Antoine Martin	bdae5563c6	ltlfilt: add --sonf and --sonf-aps flags ... * bin/ltlfilt.cc: Here. * NEWS: Mention new ltlfilt flags. * tests/Makefile.am, tests/core/sonf.test: Test these flags.	2022-03-03 12:42:26 +01:00