Skip to content

ltlfilt should have a --max-count option

it should behave like the --max-count option of autfilt