[Javapathfinder-devel] Randomize choices in ChoiceGenerator

[Marco F. <mp...@es...>]

Currently, in ChoiceGenerator.java, the random generator is
initialized with a seed of 42 except if cg.seed is specified. This
means that the choice generator is not "as random" as it could be.
Wouldn't it be a better idea to initialize it with "new Random()"
(using the system time as seed) except if cg.seed is specified (using
the specified value instead in that case)?

I've attached a .patch file with the required changes to
ChoiceGenerator.java in case you agree with me...

Best regards,
Marco