Beginner Exercise5

Select your answer and click the button below:

Question5:

Num = 3; Num2 = 7; Stk = <1, 2, 5>;

Operation Guess (preserves Num: Integer;
                               alters Num2: Integer;
                               updates Stk: Stack);
            ensures: Stk = #Stk o <#Num2>;

Determine which statement may be true :

Num may be modified by the operation, but the final
value is 3;
Num = 3, S = < 1, 2, 5, 7 >, Num2 = some integer;
Stk will be updated in some way, Num will be 7;
Num2 is still 7 after the operation completes;