-
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
* 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.