• Alexandre Duret-Lutz's avatar
    remove_fin: never return acceptance "f" · 1db3472a
    Alexandre Duret-Lutz authored
    Fixes #333.
    
    * spot/twaalgos/remfin.cc, spot/twaalgos/remfin.hh,
    spot/twaalgos/totgba.cc: Adjust.  The assert() added
    to remove_fin() triggered a lot of failure in the test
    suite before the different functions were fixed.
    * tests/core/remfin.test, tests/python/tra2tba.py:
    Adjust expected result.
    * NEWS: Mention the bug.
    1db3472a
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 186 KB