On 03/18/2014 11:57 AM, KONDO Mitsumasa wrote:
> I think that this feature will be also useful for survey new buffer-replace
> algorithm and checkpoint strategy, so on.
Sure. No doubt about that.
> If we remove this option, it is really dissapointed..
As long as we get the \setrandom changes in, you can easily do these
tests using a custom script. There's nothing wrong with using a custom
script, it will be just as useful for exploring buffer replacement
algorithms, checkpoints etc. as a built-in option.
- Heikki
