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

Lecture 13 - slide 32 : 32 Program 2

Div(10, 2) = 5
Div(100, 25) = 4
Div(1234567, 89) = 13871