Consider the following code fragment. Assume the loop body follows the given invariant and progress metric....

 

Transcribed Image Text:

Consider the following code fragment. Assume the loop body follows the given invariant and progress metric. int x = 20, y = 2, z = 10 /** updates x, y, z maintains x/y = #z * decreases Z */ while (x*y != 1000) { } What are possible values for the variables after the end of the loop? Consider the following code fragment. Assume the loop body follows the given invariant and progress metric. int x = 20, y = 2, z = 10 /** updates x, y, z maintains x/y = #z * decreases Z */ while (x*y != 1000) { } What are possible values for the variables after the end of the loop?

Answer rating: 100% (QA)

The given loop has the following annotations 1 Updates It indicates which variables are updated within the loop In this case its x y and z 2 Maintains ... View the full answer