Control the seed of the Random Number Generator
ffevotte opened this issue · 2 comments
ffevotte commented
Requested here: https://sourceforge.net/p/valgrind/mailman/message/35871122/
Something that would be very useful would be control of the seed of the random number generator, so that we could repeat and debug cases that gave strange results.
ffevotte commented
And also here: https://sourceforge.net/p/valgrind/mailman/message/35871131/
It would be nice to be able to "define" the randomness here, e.g. by
providing a pseudo-random-number generator and a command line option
to provide the "seed" value. Point is that you can actually debug
issues in a deterministic&&repeatable way IF they happen.