Commit e00d0545 authored by stancakapost's avatar stancakapost
Browse files

using match instead of == 

fixed TC name
parent fb4c1b3a

ATS/05_basic_language_elements/0504_parametrization/050401_formal_parameters/050401_top_level/NegSem_050401_top_level_001.ttcn

+19 −16
Original line number Original line Diff line number Diff line
@@ -25,8 +25,11 @@ module NegSem_050401_top_level_001 { 
	}

	}

	

	

	function f(R2 p_rec) {

	function f(R2 p_rec) {

        if (p_rec.option1 == 1 and p_rec.option2 == 2) { setverdict(pass); } // reading from p_int

		if (match(p_rec, {1, 2})) {

        else { setverdict(fail); }

			setverdict(pass);

		} else {

			setverdict(fail, "p_rec value not matching ", p_rec, {1, 2});

		}

	}

	}

	

	

	testcase TC_NegSem_050401_top_level_001() runs on GeneralComp {

	testcase TC_NegSem_050401_top_level_001() runs on GeneralComp {
@@ -35,6 +38,6 @@ module NegSem_050401_top_level_001 { 
	}

	}





	control{

	control{

		execute(TC_Sem_050401_top_level_001());

		execute(TC_NegSem_050401_top_level_001());

	}

	}

}
 
}