Commit e6178a2e authored by validator's avatar validator
Browse files

No commit message 

No commit message
parent 1c236b55

ttcn3/EtsiLibrary/LibIpv6/LibMobility/LibIpv6_Rfc3775Mipv6_Functions.ttcn

+2 −2
Original line number Original line Diff line number Diff line
@@ -256,7 +256,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
																	c_noNextHdr,

																	c_noNextHdr,

																	c_bindingUpdate,

																	c_bindingUpdate,

																	m_bindingUpdate(

																	m_bindingUpdate(

																		c_defSeqNo,

																		c_defSeqNo + 1,

																		c_aFlag1,

																		c_aFlag1,

																		c_hFlag1,

																		c_hFlag1,

																		c_lFlag0,

																		c_lFlag0,
@@ -273,7 +273,7 @@ module LibIpv6_Rfc3775Mipv6_Functions { 
															m_extHdrList_1Elem(

															m_extHdrList_1Elem(

															mw_extHdr_mipHeader (	c_noNextHdr,

															mw_extHdr_mipHeader (	c_noNextHdr,

																					c_bindingAck,

																					c_bindingAck,

																					mw_bindingAck(c_defSeqNo))))) {

																					mw_bindingAck(c_defSeqNo + 1))))) {

						tc_ac.stop;	

						tc_ac.stop;	

						v_ret := e_success ;

						v_ret := e_success ;

					}

					}

ttcn3/EtsiLibrary/LibIpv6/LibMultiRfcs/LibIpv6_MultiRfcs_Templates.ttcn

+3 −3
Original line number Original line Diff line number Diff line
@@ -148,7 +148,7 @@ module LibIpv6_MultiRfcs_Templates { 




		template MipMessage mw_bindingAck(UInt16 p_seqNr) := {	

		template MipMessage mw_bindingAck(UInt16 p_seqNr) := {	

			bindingAck := {

			bindingAck := {

				status := ?,

				status := c_mipCodeBindingUpdateAccepted,

				kFlag := ?,

				kFlag := ?,

				reserved := ?,

				reserved := ?,

				sequenceNumber := p_seqNr,

				sequenceNumber := p_seqNr,
@@ -168,7 +168,7 @@ module LibIpv6_MultiRfcs_Templates { 
		

		

		template MipMessage m_hot := {	

		template MipMessage m_hot := {	

			homeTest := {

			homeTest := {

				homeNonceIndex := 0,

				homeNonceIndex := c_uInt16Zero,

				homeInitCookie := c_64ZeroBits,

				homeInitCookie := c_64ZeroBits,

				homeKeygenToken := c_64ZeroBits,

				homeKeygenToken := c_64ZeroBits,

				mipOptions := omit

				mipOptions := omit
@@ -186,7 +186,7 @@ module LibIpv6_MultiRfcs_Templates { 




		template MipMessage m_hoti := {	

		template MipMessage m_hoti := {	

			homeTestInit := {

			homeTestInit := {

				reserved := 0,

				reserved := c_uInt16Zero,

				homeInitCookie := c_64ZeroBits,

				homeInitCookie := c_64ZeroBits,

				mipOptions := omit

				mipOptions := omit

			}

			}