Commit 2af4ff86 authored by validator's avatar validator
Browse files

Fixed some TCs

parent 3f8c3225
Loading
Loading
Loading
Loading
+14 −0
Original line number Diff line number Diff line
@@ -168,6 +168,20 @@
			p_extHdr2
		}

		/*
		 *	@param  p_extHdr1 First element in extension header
		 *	@param  p_extHdr2 Second element in extension header
		 *	@param  p_extHdr3 Second element in extension header		 
		*/
		template ExtensionHeaderList m_extHdrList_elemNo3 ( template ExtensionHeader p_extHdr1,
			template ExtensionHeader p_extHdr2,
			template ExtensionHeader p_extHdr3	
		) := {
			p_extHdr1,
			p_extHdr2,
			p_extHdr3
		}

		/*
		 *	@param  p_nextHeader Next header identifier value to be used
		 *	@param  p_hdrExtLen Length of this extension header
+27 −0
Original line number Diff line number Diff line
@@ -1199,6 +1199,33 @@
			otherOption := omit
		}

		/*
		 *	@param  p_prefixLength Length of the prefix.
		 *	@param  p_lFlag Value for link flag.
		 *	@param  p_aFlag Value for autoconfiguration flag.
		 *	@param  p_validLifetime Value for valid life time duration.
		 *	@param  p_preferredLifetime Value for preffered life time duration.
		 *	@param  p_prefix Address prefix to be used
		 *  @param  p_otherOption Other binary option
		*/
		template RtAdvOptions m_rtAdvOpt_PrefixOtherOpt  (	UInt8 p_prefixLength,
															UInt1 p_lFlag,
															UInt1 p_aFlag,
															UInt32 p_validLifetime,
															UInt32 p_preferredLifetime,
															template Ipv6Address p_prefix,
															octetstring p_otherOption):={
			srcLinkLayerAddr := omit,
			mtuOption:= omit,
			prefixInfoList := {  m_prefixInfo(	p_prefixLength,
												p_lFlag,
												p_aFlag,
												p_validLifetime,
												p_preferredLifetime,
												p_prefix) },
			otherOption := p_otherOption
		}

		/*
		 *	@param  p_macSlla Binary MAC source address associated with
		 *          link layer of test component