Commit 2c317d60 authored by berge's avatar berge
Browse files

Fixed timer problem in TC_COR_8509_01 (bug 326). 

Also fixed TC_COR_8503_01, TC_COR_8510_01 and TC_COR_8510_02
parent e0812453

ttcn3/EtsiLibrary/LibIpv6/LibCore/LibIpv6_Rfc2461NeighborDiscovery_TypesAndValues.ttcn

+2 −0
Original line number Original line Diff line number Diff line
@@ -39,6 +39,8 @@ 
		const UInt8 c_prefixLength56 := 56;

		const UInt8 c_prefixLength56 := 56;

		const UInt8 c_prefixLength64 := 64;

		const UInt8 c_prefixLength64 := 64;

		const UInt8 c_maxPrefixLength := 128;

		const UInt8 c_maxPrefixLength := 128;

		const float c_minRandomFactor := 0.5;

		const float c_maxRandomFactor := 1.5;





		const UInt16 c_unspecifiedReachTime := 0;

		const UInt16 c_unspecifiedReachTime := 0;

		const UInt16 c_unspecifiedRetransTime := 0;

		const UInt16 c_unspecifiedRetransTime := 0;