#3 Re-execute Trace in Debugger

[Anonymous]

Instead of outputting a trace leading up to the error found, write driver program which can reproduce the steps by driving the IDE's debugger.

ThreadChoices would simply be implemented as setting a breakpoint where the ThreadChoice would be injected, suspend all threads except the one that should run. When the breakpoint is hit, the breakpoint is removed, the thread suspended, and the next chosen thread is resumed. The process is repeated.

DataChoices would simply be implemented as returning the particular value in the trace.

The benefit is that the developer can step through the trace and see all of the variable values and stack and etc in his IDE.