Skip to content
Find file Blame History Permalink
  • Florent D'Halluin's avatar
    Fix quotient bench automaton. · 90a97dde
    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.
    90a97dde
To find the state of this project's repository at the time of any of these versions, check out the tags.