-
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