-
Alexandre Duret-Lutz authored
Fixes #390. * spot/twaalgos/toparity.cc: Revert the relevant part of 516e9536. * tests/python/toparity.py: Add test case. * NEWS: Mention the issue.
c66b3d88
Fixes #390. * spot/twaalgos/toparity.cc: Revert the relevant part of 516e9536. * tests/python/toparity.py: Add test case. * NEWS: Mention the issue.