I like the idea of being able to switch between real and simulated time. Obviously real time won’t work for any code that has long delays, but I’m sure there’s a subset of code that waiting for the real amount of time is practical.
Because one issue with simulated (or logical as I usually refer to it) time is that it doesn’t take into account the probability of an event occurring. That’s very important for total correctness, but it can be convenient to only focus on common / likely event ordering.
I like the idea of being able to switch between real and simulated time. Obviously real time won’t work for any code that has long delays, but I’m sure there’s a subset of code that waiting for the real amount of time is practical.
Because one issue with simulated (or logical as I usually refer to it) time is that it doesn’t take into account the probability of an event occurring. That’s very important for total correctness, but it can be convenient to only focus on common / likely event ordering.