On 2011-08-05 15:45:37 +0200, Arnold Neumaier wrote:
It makes sense to require that there is a (possibly a little slower)
repeatable mode on the same machine. I expect that, too, for debugging
purposes.
IMHO, this should be done only by specifying the full behavior, possibly
depending on well-identified platform-dependent parameters. Otherwise it
may be tricky to define "repeatable mode" and "same machine" (e.g. what
if the machine is upgraded[*], some environment variables are changed,
and so on?)
[*] something often constantly done, e.g. to apply security patches.