A method and an apparatus make available uncommitted register values during the
random code generation process. When there is a need for a register to contain
a specific (desirable) value, then the register value is committed to that value
at that point. Uncommitted values can propagate through one or more previous instructions.
All registers and memory begin a test program in the uncommitted state. When the
random code generator is done generating the test program, if any uncommitted values
remain, then the uncommitted values are committed to arbitrary values.
