-
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