Commit d32524aa authored by mullers's avatar mullers
Browse files

DEBUG tc ADDED FOR aUTHENTICATOR DEBUG

parent f762017c
Loading
Loading
Loading
Loading
+13 −0
Original line number Diff line number Diff line
@@ -1029,6 +1029,12 @@
				authenticator := omit//value is set in f_setExtensionHeader
			}

			template MipBindingAuthorizationData m_bindingAuthData_debug := {
				mipOptType := c_mipBindingAuthorizationData ,
				mipOptLen := 12,
				authenticator := c_12ZeroBytes
			}

			template MipOptNonceIndices m_mipOptNonceIndices_dummy := {
				mipOptType := c_mipOptNonceIndices,
				mipOptLen := c_mipOptNonceIndicesLen,
@@ -1036,6 +1042,13 @@
				careOfNonceIndex := c_uInt16Zero//value is set in f_setExtensionHeader
			}

			template MipOptNonceIndices m_mipOptNonceIndices_debug := {
				mipOptType := c_mipOptNonceIndices,
				mipOptLen := c_mipOptNonceIndicesLen,
				homeNonceIndex := 2,
				careOfNonceIndex := 2
			}

			template MipOptNonceIndices m_mipOptNonceIndices(
				UInt16 p_homeNonceIndex,
				UInt16 p_careOfNonceIndex) := {
+1 −1
Original line number Diff line number Diff line
@@ -726,7 +726,7 @@ module LibIpv6_Interface_TypesAndValues {
					UInt7		reserved,
					UInt16 		sequenceNumber,
					UInt16		lifeTime,		
					MipOptionList 	mipOptions
					MipOptionList 	mipOptions optional
				}
				with {
					variant "present=isEOF()== false && (valueOf(getTag('mobilityHeaderType'))==6);";
+1 −1
Original line number Diff line number Diff line
@@ -1114,7 +1114,7 @@ module LibIpv6_Rfc3775Mipv6_Functions {
		if ( v_ret != e_success ) {return v_ret;}
		tc_ac.start;
		alt {
			[]	ipPort.receive(CareOfTest:mw_generalIpv6_extHdr_noData(
			[]	ipPort.receive(mw_generalIpv6_extHdr_noData(
										c_mipHdr,
										p_cnGla,
										p_mnCoa,