• Alexandre Duret-Lutz's avatar
    autfilt: add an --intersect filter · 947ab17b
    Alexandre Duret-Lutz authored
    * src/bin/autfilt.cc: Add option --intersect.  Factor the code to read
    automata.
    * src/tgbatest/neverclaimread.test: Rewrite the tests, replacing 3 calls
    to ltl2tgba by a single call to autfilt.
    947ab17b