-
Alexandre Duret-Lutz authored
Fixes #379. * spot/twaalgos/minimize.cc: Here. * tests/core/optba.test: Add test case provided by Rüdiger Ehlers. * NEWS: Mention the improvement.
01edf4f8
Fixes #379. * spot/twaalgos/minimize.cc: Here. * tests/core/optba.test: Add test case provided by Rüdiger Ehlers. * NEWS: Mention the improvement.