• Alexandre Duret-Lutz's avatar
    remove_fin: never return acceptance "f" · 41722c0c
    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.
    41722c0c
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 185 KB