Function replay 

pub fn replay(path: &Path, run: &str) -> CommandResult

speccoder replay: strict replay of a recorded run; calls no model.