/***************************************************
 ** @author   STF 409 
 ** @version  0.0.1
 ** @purpose  1:19.3, Ensure that the IUT properly evaluates select-case statements
 ** @verdict  pass  accept, ttcn3verdict:pass
 ***************************************************/
module Sem_1903_select_case_statement_002 {
	
type component GeneralComp {	
}
	
testcase TC_Sem_1903_select_case_statement_002 () runs on GeneralComp{
 var integer v_i:=5;
 
 select (v_i) {	
  case(1) {
   setverdict(fail);
  }
  case(2) {
   setverdict(fail);
  }
  case(3) {
   setverdict(fail);
  }
  case else {
   setverdict(pass);
  }
 }
}


control{

    execute(TC_Sem_1903_select_case_statement_002());

}

}