-
Damien Lefortier authored
* src/tgbaalgos/ltl2taa.cc: Do NOT use the same bdd_dict for both the translation and the language containment checker. * src/tgbatest/spotlbtt.test: Update TAA related tests.
1d8b115b
To find the state of this project's repository at the time of any of these versions, check out the tags.