-
The previous automaton made no sense to Jacques and looked like there has been a fishy copy/paste. It now is: A -a-> A A -b-> A A -b-> B B -a-> B B -b-> B * src/bench/quotient/quotient_bool_bench.hh: Do that.
c49072f8
To find the state of this project's repository at the time of any of these versions, check out the tags.