-
Alexandre Duret-Lutz authored
* NEWS: Mention the issue. * bin/ltlfilt.cc: Fix test. * tests/core/acc_word.test: Test this.
31bcb576
To find the state of this project's repository at the time of any of these versions, check out the tags.
* NEWS: Mention the issue. * bin/ltlfilt.cc: Fix test. * tests/core/acc_word.test: Test this.