Commit 1bdd1cd0 authored by stancakapost's avatar stancakapost
Browse files

fixed testcases to server their intended purpose

parent 2f9a8c04

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
@@ -33,7 +33,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;

		connect(self:p1, v_ptc:p1);

		connect(self:p1, v_ptc:p1);

		map(self:p2, 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);

    }

    }

ATS/09_test_configurations/0901_communication_ports/NegSem_0901_Communication_ports_007.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -20,8 +20,8 @@ module NegSem_0901_Communication_ports_007 { 
    }

    }

	

	

    testcase TC_NegSem_0901_Communication_ports_007() runs on GeneralComp system GeneralComp {

    testcase TC_NegSem_0901_Communication_ports_007() runs on GeneralComp system GeneralComp {

		

		    var GeneralComp s := system;

        map(self:p2, system:p1); // error: p1 and p2 cannot be connected

        map(s:p2, system:p1); // error: p1 and p2 cannot be connected

		

		

        setverdict(pass);

        setverdict(pass);

    }

    }