-
Alexandre Duret-Lutz authored
* tests/core/sepsets.test: New test case. * spot/twaalgos/sepsets.cc: Fix the code. * NEWS: Mention the problem.
48ecb903
* tests/core/sepsets.test: New test case. * spot/twaalgos/sepsets.cc: Fix the code. * NEWS: Mention the problem.