Predict when output changes

Predict when the same program will or will not produce the same output. You’ll account for inputs, saved state, the clock, randomness, and outside messages as things that can change what happens.