loop-invariants/1/instrumented-div-output - Output of the instrumented division program.

Lecture 13 - slide 32 : 32 Program 4

10  + 0   * 2   = 10 
8   + 1   * 2   = 10 
6   + 2   * 2   = 10 
4   + 3   * 2   = 10 
2   + 4   * 2   = 10 
0   + 5   * 2   = 10 
Div(10, 2) = 5

11  + 0   * 2   = 11 
9   + 1   * 2   = 11 
7   + 2   * 2   = 11 
5   + 3   * 2   = 11 
3   + 4   * 2   = 11 
1   + 5   * 2   = 11 
Div(11, 2) = 5

100 + 0   * 25  = 100
75  + 1   * 25  = 100
50  + 2   * 25  = 100
25  + 3   * 25  = 100
0   + 4   * 25  = 100
Div(100, 25) = 4