• Alexandre Duret-Lutz's avatar
    gfguarantee: fix #357 again · 8df5f513
    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
gfguarantee.cc 20 KB