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