@Override
public void run(String name) {
index = 0;
curAttempts = 0;
super.run(name);
logger.log(Level.INFO, "trace " + trace + " successfully replayed for process " + name);
}
@Override
protected void internalRun() {
if (index < trace.size()) {
super.internalRun();
} else {
environment.reset();
}
}