On 19 May 2013 05:37, Rob Landley <r...@landley.net> wrote: > On 05/17/2013 12:23:51 PM, KONRAD Frédéric wrote: >> It appeared that the replay is not deterministic even with icount:
> You're aware that reverse execution means you have the "come from" problem, > right? (The opposite of goto.) > > You literally _can't_ figure out your control flow by running the code > backwards. It's equivalent to solving the halting problem. The best you can > do is log and replay. Yes, of course -- 'reverse execution' is just the usual phrase for the user-visible effect. However if your *forwards* replay isn't deterministic then it all goes pear-shaped, which is what Fred is complaining about. -- PMM
