Hello,
I have a small question below about the seed used in ECJ and hope someone
can help.
There are 10 runs and first seed is 8000 then what is the seed for the next 9
runs? Does the seed increase by 1 each time? ie. the seed in these 10 run are
8000, 8001, 8002,.......8009. This is my understanding and hope it is correct.
Many thanks
Zheng