• Alexandre Duret-Lutz's avatar
    autfilt: fix --accept-word · 897a6ddc
    Alexandre Duret-Lutz authored
    * bin/autfilt.cc: Translate each word as an automaton once,
    and do not make a global product of all of them.
    * spot/twaalgos/word.cc: Register the atomic propositions used by the
    word when converting it into an automaton.
    * tests/core/acc_word.test: Add a test case that used to fail, and
    another test that make sure some words are not accepted.