Skip to content
Find file Blame History Permalink
  • 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.