Exercise1:  
For this question assume that the type Card has one of four values: ♥, ♠, ♦, ♣. The initial value of Card is: ♠. Also assume that the Max_Depth = 5;  
   
 

Operation Mystery1 (updates S: Stack; clears C: Card);
      requires:  |S| <  Max_Depth - 1;
      ensures:   S = <#C> o <#C> o <#S>;

  
   
  Please select which test case is correct:
 

test set 1:
      inputs:         C = ♦,  S = <♥>;
      outputs:       C = ♠,  S = <♦,♦, ♥ >;

test set 2:
      inputs:         C = ♣,  S = <♥, ♠>;
      outputs:       C = arbitrary,  S = <♣, ♣,♥, ♠ >;

test set 3:
      inputs:         C = ♦,  S = <♠>;
      outputs:       C = arbitrary,  S = <♠, ♦, ♦ >;

test set 4:
      inputs:         C = ♦,  S = <♣>;
      outputs:       C = ♠,  S = < ♦, ♦, ♠, ♣>;
  1 and 3
2
1
1, 2, and 3