Test Cases Exercise2

Exercise2:

For this question assume that we have two Stacks of Integers. The Max_Depth = 5;

Operation Mystery2(updates S1: Stack;
                                         clears S2: Stack);
      requires: |S1| + |S2| <= Max_Depth;
      ensures: S1 = #S1 o Reverse(#S2);

Please select which test case is correct:

test set 1:
inputs: S1 = Λ, S2 = <5, 7, 9>;
outputs: S1 = <9, 7, 5>, S2 = Λ;

test set 2:
inputs: S1 = <11>, S2 = <2, 4, 6>;
outputs: S1 = <11, 6, 4, 2>, S2 = arbitrary;

test set 3:
inputs: S1 = <1, 3>, S2 = <5, 7>;
outputs: S1 = <3, 1, 7, 5>, S2 = Λ;

test set 4:
inputs: S1 = <1, 3, 5>, S2 = Λ;
outputs: S1 = <1, 3, 5>, S2 = Λ;

1 and 4
2 and 3
3 and 4
none