Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlfilt.cc
Find file
Blame
History
Permalink
fix ltlfilt --accept-word and --reject-word
· 31bcb576
Alexandre Duret-Lutz
authored
Oct 15, 2018
* NEWS: Mention the issue. * bin/ltlfilt.cc: Fix test. * tests/core/acc_word.test: Test this.
31bcb576