-
Alexandre Duret-Lutz authored
* spot/twaalgos/complete.cc: Here. * tests/python/dualize.py, tests/core/complete.test: Adjust test cases.
1e9daa73
* spot/twaalgos/complete.cc: Here. * tests/python/dualize.py, tests/core/complete.test: Adjust test cases.