• Alexandre Duret-Lutz's avatar
    autfilt: --highlight-word · b13caea3
    Alexandre Duret-Lutz authored
    * bin/autfilt.cc: Add the option.
    * NEWS: Mention it.
    * tests/core/acc_word.test: Test it.
    * spot/twaalgos/emptiness.cc,
    spot/twaalgos/emptiness.hh (twa_run::project): New method.
    b13caea3
emptiness.cc 22.4 KB