Alexandre Duret-Lutz authored
* spot/twaalgos/remfin.cc: If no Inf set is used, set sbacc early so that it is used in the algorithm. * tests/core/remfin.test: Add more tests. * NEWS: Mention the bug.df04c715
To find the state of this project's repository at the time of any of these versions, check out the tags.