Update comments for MSSC (b1501ba1) · Commits · CABLE - Integrated broadband cable telecommunication networks / CableIPv6

ttcn/Ats6RD/Ats6RD_TestCases.ttcn3

+11 −11

Original line number	Diff line number	Diff line
		@@ -791,9 +791,19 @@ module Ats6RD_TestCases {
		// Test Body
		// Clause 'when': Nothing to do

		// Clause 'then': the IUT fragments into IPv4 packets and the IUT forwards correctly formatted IPv4 through the tunnel
		// Clause 'then': the IUT drops the packet and, the IUT returns a packet-too-big message to the originator
		tc_ac.start;
		alt {
		[] brPort.receive( // the IUT drops the packet
		mw_ipv4Packet_tcp(
		c_tunneledIpHdr,
		?,
		PX_BR_GW_ADDRESS
		)) {
		tc_ac.stop;
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		log("* " & __SCOPE__ & ": INCONC: The IUT shall drop the packet due to segment size greater than the IUT MSS value. *");
		}
		[] ipPort.receive( // the IUT returns a packet-too-big message to the originator
		mw_packetTooBig_noExtHdr_code(
		?,
		@@ -819,16 +829,6 @@ module Ats6RD_TestCases {
		repeat;
		}
		}
		[] brPort.receive( // the IUT drops the packet
		mw_ipv4Packet_tcp(
		c_tunneledIpHdr,
		?,
		PX_BR_GW_ADDRESS
		)) {
		tc_ac.stop;
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		log("* " & __SCOPE__ & ": INCONC: The IUT shall drop the packet due to segment size greater than the IUT MSS value. *");
		}
		[] tc_ac.timeout {
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		log("* " & __SCOPE__ & ": INCONC: Message was not received in due time. *");