• Florent D'Halluin's avatar
    Fix quotient bench automaton. · c49072f8
    Florent D'Halluin authored and Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz committed
    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.