How to specify seed for BatchExecutor?

[lostmsu]

By default it seems to repeatably produce the same sequence.

[martindevans]

the seed is something you set on the sampler, rather than on the executor.

So in this example you would modify the sampler object like so:

var sampler = new DefaultSamplingPipeline()
{
    Seed = 1234,
};