Skip to content
  • 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