Commit 8d04e3e5 authored by validator's avatar validator
Browse files

""

parent 723fab08

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2463Icmpv6_Templates.ttcn

+9 −6
Original line number Diff line number Diff line
@@ -515,7 +515,8 @@ 
		template PacketTooBig m_packetTooBig_noExtHdr_hop (

			template Ipv6Address p_src,

			template Ipv6Address p_dst,

			UInt8 p_hopLimit

			UInt8 p_hopLimit,

			octetstring p_data

		) := {

			ipv6Hdr := m_ipHdr_nextHdr_hop_srcDst(c_icmpHdr, p_hopLimit, p_src, p_dst),

			extHdrList := omit,
@@ -523,7 +524,7 @@ 
			icmpCode:= c_icmpCode0,

			checksum:= c_2ZeroBytes,

			mtu := c_mtu1280,

			data := omit

			data := p_data

		}



		/*
@@ -605,7 +606,8 @@ 
			template Ipv6Address p_dst,

			UInt8 p_hopLimit,

			UInt8 p_icmpCode,

			UInt32 p_pointer

			UInt32 p_pointer,

			octetstring p_data

		) := {

			ipv6Hdr := m_ipHdr_nextHdr_hop_srcDst(c_icmpHdr, p_hopLimit, p_src, p_dst),

			extHdrList := omit,
@@ -613,7 +615,7 @@ 
			icmpCode:= p_icmpCode,

			checksum:= c_2ZeroBytes,

			pointer := p_pointer,

			data := omit

			data := p_data

		}



		/*
@@ -671,7 +673,8 @@ 
			template Ipv6Address p_src,

			template Ipv6Address p_dst,

			UInt8 p_hopLimit,

			UInt8 p_icmpCode

			UInt8 p_icmpCode,

			octetstring p_data

		) := {

			ipv6Hdr := m_ipHdr_nextHdr_hop_srcDst(c_icmpHdr, p_hopLimit, p_src, p_dst),

			extHdrList := omit,
@@ -679,7 +682,7 @@ 
			icmpCode:= p_icmpCode,

			checksum:= c_2ZeroBytes,

			unused := 0,

			data := omit

			data := p_data

		}



		/*