Agree on the usefulness of generating the same test. That is the reason behind adding --randseed option. Once a seed is set, it always generates the same sequence of instructions.
Basically with this patch,
- by default you will generate random instruction sequences for most testing cases
- you can provide a random seed option in the commandline to generate a deterministic instruction sequence
Without this patch,
- we always get one fixed sequence (ie. random seed == 0 case)
- Otherwise we would have to manually modify code to generate random instruction sequences or generate a different fixed sequence.
Hope this clarifies things a little bit.
Jun