-
Alexandre Duret-Lutz authored
check, degeneralize the automaton only if it has too much acceptance conditions. This makes it easier to reproduce runs of randtgba. * src/tgbatest/emptchk.test: Adjust.
49b871f9
To find the state of this project's repository at the time of any of these versions, check out the tags.