• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 218 KB