Certainly. Once you have a deterministic environment, the ability to replay execution is basically free. In fact, what has been described is basically the repl

Certainly. Once you have a deterministic environment, the ability to replay execution is basically free. In fact, what has been described is basically the replay engine in a record-replay system which “runs” the recorded execution of a non-deterministic system in a deterministic mode to replay the exact same execution. As such, it retains the same benefits available to any replay. The key here is that you can “bypass” the record step since you are already running in the replay engine from the start.