• Alexandre Duret-Lutz's avatar
    Remove some non-determinism in random_graph() · dcf7eed1
    Alexandre Duret-Lutz authored
    * src/tgbaalgos/randomgraph.cc (random_graph): Revert the part of
    the patch from 2007-02-06 which silently replaced the use of state
    index by state pointers.  Storing states pointer in this map cause
    some non-determinism because of the memory layout.  It was almost
    impossible to reproduce bugs found by tests based on randtgba.
    dcf7eed1
To find the state of this project's repository at the time of any of these versions, check out the tags.