Commit 102caaf9 authored by stancakapost's avatar stancakapost
Browse files

fixed testcases to server their intended purpose

parent 10cf371b

ATS/09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_004.ttcn

+1 −1
Original line number Original line Diff line number Diff line
@@ -32,7 +32,7 @@ module NegSem_0901_Communication_ports_004 { 
		

		

//create a test component        

//create a test component        

        var GeneralComp v_ptc := GeneralComp.create;

        var GeneralComp v_ptc := GeneralComp.create;

		map(self:p1, system:p1);

		connect(self:p1, v_ptc:p1);

		map(self:p1, system:p1); // error: v_ptc.p1 is already mapped to SystemComp.p1

		map(self:p1, system:p1); // error: v_ptc.p1 is already mapped to SystemComp.p1

		setverdict(pass);

		setverdict(pass);

    }

    }