A follow-up. I've posted to CVS two small tweaks to SimState.doLoop
() which should facilitate batch parameter files like Mike's looking
for. First, the job number and random number seed now survive across
checkpoints. This is complicated by the fact that the GUI doesn't
use the doLoop facility at all, so if you load a checkpoint from the
command line into the GUI, start and stop a few times, then save it
out again, the job number is the same and continues from there.
Second, and more helpful to Mike perhaps, SimState.job() will return
the job number that doLoop() assigned. Again, keep in mind that the
Console doesn't assign these numbers (for now).

This is mostly a stopgap measure: we actually use a totally different
script-based approach in-house and I'd appreciate some comments and
suggestions.

Sean