Commit 1c7df8ee authored by zeiss's avatar zeiss
Browse files

fixes

parent b4475a85
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -15,8 +15,8 @@ testcase TC_Sem_070102_ListOperator_005() runs on GeneralComp {
	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};
	var MyArrayType v_result := v_i & v_j;	
	var MyArrayType v_reference := {0, 1, 2, 4, 6, 7};
	if (v_result == v_reference) {
		setverdict(pass);
	} else {
+1 −1
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ import from NegSem_08020305_ImportingAllDefinitionsOfAModule_001_import all exce

type component GeneralComp {}

testcase NegSem_08020305_ImportingAllDefinitionsOfAModule_001() runs on GeneralComp {
testcase TC_NegSem_08020305_ImportingAllDefinitionsOfAModule_001() runs on GeneralComp {
	if (c_myconst == 43532) {
		setverdict(fail);
	} else {