-
Alexandre Duret-Lutz authored
Fixes #179. * spot/twaalgos/dtwasat.cc: Add the check. * tests/core/minusx.test: Test it. * NEWS: Mention it.
e80b443b
Fixes #179. * spot/twaalgos/dtwasat.cc: Add the check. * tests/core/minusx.test: Test it. * NEWS: Mention it.