This makes the mapping "injective": https://antithesis.com/blog/deterministic_hypervisor/
The "onto" direction doesn't really matter.
back
1 comments
How can it reverse time? Does it record a stack of every decision point?
You don’t need to reverse time if you can deterministically reproduce everything that led up to the point of interest. (In practice we save a snapshot of your system at some intermediate point and replay from there.)