Commit e676cfaf authored by zeiss's avatar zeiss
Browse files

fixes regarding the naming conventions.

parent 155c9421
Loading
Loading
Loading
Loading
+3 −3
Original line number Diff line number Diff line
@@ -10,11 +10,11 @@ module Sem_070102_ListOperator_005 {
type component GeneralComp {	    	    
}

type integer myArrayType[3];
type integer MyArrayType[3];

testcase TC_Sem_070102_ListOperator_005() runs on GeneralComp {
	var myArrayType v_i := {0, 1, 6};
	var myArrayType v_j := {2, 4, 7};
	var MyArrayType v_i := {0, 1, 6};
	var MyArrayType v_j := {2, 4, 7};

	var IntegerSet v_result := v_i & v_j;	
	var IntegerSet v_reference := {0, 1, 2, 4, 6, 7};
+3 −3
Original line number Diff line number Diff line
@@ -12,12 +12,12 @@ type component GeneralComp {
}

type enumerated MyEnumType { 
	Monday, Tuesday, Wednesday, Thursday, Friday
	e_Monday, e_Tuesday, e_Wednesday, e_Thursday, e_Friday
};

testcase TC_Sem_070103_RelationalOperator_003() runs on GeneralComp {
	var MyEnumType v_first := Monday;
	var MyEnumType v_reference := Monday;
	var MyEnumType v_first := e_Monday;
	var MyEnumType v_reference := e_Monday;

	if (v_first == v_reference) {
		setverdict(pass);
+3 −3
Original line number Diff line number Diff line
@@ -12,12 +12,12 @@ type component GeneralComp {
}

type enumerated MyEnumType { 
	Monday, Tuesday, Wednesday, Thursday, Friday
	e_Monday, e_Tuesday, e_Wednesday, e_Thursday, e_Friday
};

testcase TC_Sem_070103_RelationalOperator_006() runs on GeneralComp {
	var MyEnumType v_first := Monday;
	var MyEnumType v_second := Tuesday;
	var MyEnumType v_first := e_Monday;
	var MyEnumType v_second := e_Tuesday;

	if (v_first < v_second) {
		setverdict(pass);
+3 −3
Original line number Diff line number Diff line
@@ -13,12 +13,12 @@ type component GeneralComp {
}

type enumerated MyEnumType { 
	Monday, Tuesday, Wednesday, Thursday, Friday
	e_Monday, e_Tuesday, e_Wednesday, e_Thursday, e_Friday
};

testcase TC_Sem_070103_RelationalOperator_011() runs on GeneralComp {
	var MyEnumType v_first := Monday;
	var MyEnumType v_second := Tuesday;
	var MyEnumType v_first := e_Monday;
	var MyEnumType v_second := e_Tuesday;

	if (v_first <= v_second) {
		setverdict(pass);
+3 −3
Original line number Diff line number Diff line
@@ -13,12 +13,12 @@ type component GeneralComp {
}

type enumerated MyEnumType { 
	Monday, Tuesday, Wednesday, Thursday, Friday
	e_Monday, e_Tuesday, e_Wednesday, e_Thursday, e_Friday
};

testcase TC_Sem_070103_RelationalOperator_012() runs on GeneralComp {
	var MyEnumType v_first := Monday;
	var MyEnumType v_second := Monday;
	var MyEnumType v_first := e_Monday;
	var MyEnumType v_second := e_Monday;

	if (v_first <= v_second) {
		setverdict(pass);
Loading