Commit d17c5dd8 authored by zeiss's avatar zeiss
Browse files

No commit message

No commit message
parent 8a22fdda
Loading
Loading
Loading
Loading
+28 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.5, Ensure that the bitwise negation operator works as expected.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070105_BitwiseOperators_001 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070105_BitwiseOperators_001() runs on GeneralComp {
	var bitstring v_test := '1'B;
	var bitstring v_result := not4b v_test;
	
	if (v_result == '0'B) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070105_BitwiseOperators_001());
}

}
+28 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.5, Ensure that the bitwise negation operator works as expected on hexstrings.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070105_BitwiseOperators_002 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070105_BitwiseOperators_002() runs on GeneralComp {
	var hexstring v_test := '1A5'H;
	var hexstring v_result := not4b v_test;
	
	if (v_result == 'E5A'H) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070105_BitwiseOperators_002());
}

}
+28 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.6, Ensure that the shift left operator works as expected on bitstrings.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070106_ShiftOperators_001 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070106_ShiftOperators_001() runs on GeneralComp {
	var bitstring v_test := '111001'B;
	var bitstring v_result := v_test << 2;
	
	if (v_result == '100100'B) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070106_ShiftOperators_001());
}

}
+28 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.6, Ensure that the shift left operator works as expected on hexstrings.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070106_ShiftOperators_002 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070106_ShiftOperators_002() runs on GeneralComp {
	var hexstring v_test := '12345'H;
	var hexstring v_result := v_test << 2;
	
	if (v_result == '34500'H) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070106_ShiftOperators_002());
}

}
+28 −0
Original line number Diff line number Diff line
/*****************************************************************
 ** @author   STF 409
 ** @version  $Rev: 12 $
 ** @purpose  1:7.1.6, Ensure that the shift right operator works as expected on bitstrings.
 ** @verdict  pass accept, ttcn3verdict:pass
 *****************************************************************/

module Sem_070106_ShiftOperators_003 {

type component GeneralComp {	    	    
}

testcase TC_Sem_070106_ShiftOperators_003() runs on GeneralComp {
	var bitstring v_test := '111001'B;
	var bitstring v_result := v_test >> 2;
	
	if (v_result == '001110'B) {
		setverdict(pass);
	} else {
		setverdict(fail);
	}
}

control{
    execute(TC_Sem_070106_ShiftOperators_003());
}

}
Loading