-
Alexandre Duret-Lutz authored
* spot/twaalgos/zlktree.cc (acd_transform_sbacc): Fix the acceptance condition when colored is true. * tests/python/zlktree.py: Add test case.
75b89db5
* spot/twaalgos/zlktree.cc (acd_transform_sbacc): Fix the acceptance condition when colored is true. * tests/python/zlktree.py: Add test case.