-
Alexandre Duret-Lutz authored
* spot/twaalgos/cleanacc.cc (fuse_mark_here): Fix incorrect cancelling of n-ary subterms, causing an invalid acceptance condition, and then an infinite loop. * tests/python/simplacc.py: Add test case.
b62e1bb1
* spot/twaalgos/cleanacc.cc (fuse_mark_here): Fix incorrect cancelling of n-ary subterms, causing an invalid acceptance condition, and then an infinite loop. * tests/python/simplacc.py: Add test case.