-
Alexandre Duret-Lutz authored
* src/tgbaalgos/gv04.cc (push): Fix the tracking of the accepting link. This bug was discovered on a random generated graph with a complex accepting cycle. * src/tgbatest/emptchk.test: Add the troublesome graph as test case.
99884e8e
To find the state of this project's repository at the time of any of these versions, check out the tags.