Alexandre Duret-Lutz authored
The previous patch triggered this issue again, failing core/ltl2tgba2.test. * spot/twaalgos/gfguarantee.cc: Separate the replaying of history from the modification of the automaton. * NEWS: Mention the bug. * tests/python/twagraph-internals.ipynb, tests/python/automata.ipynb: Adjust.8df5f513
To find the state of this project's repository at the time of any of these versions, check out the tags.