-
Thomas Medioni authored
Fixes #278. Also adds a test ensuring non-regression. * spot/twaalgos/toweak.cc: Fixes the bug. * tests/python/toweak.py: Add a test case.
4b5606e7
Fixes #278. Also adds a test ensuring non-regression. * spot/twaalgos/toweak.cc: Fixes the bug. * tests/python/toweak.py: Add a test case.