[bb88]

Interesting, but how do you know if you've captured all the potential states for all possible inputs to a program?

An unexpected state would seem to break the memory model, and lead to corrupted data, wouldn't it?

[verdagon]

The feature just makes it run identically to the last run. It's useful for reproducing bugs; if you encounter a bug, just start the program in "replay" mode, supply the recording from the last run, and fire up the debugger, and watch as the bug is reproduced perfectly.

It's kind of like a time-traveling debugger, but with stronger guarantees.

I'm particularly excited about combining this with concurrency, we'll never have to spend hours hunting down mysterious race conditions ever again!