Commit 9423e376 authored by baire's avatar baire
Browse files

allow returning an undecoded value in TC_SCALAR* (all we need is a codec that does not crash)

parent e67640ef

codec/validation/TortureTests/SipCodecTest_TortureTestCases.ttcn

+10 −4
Original line number Diff line number Diff line
@@ -841,7 +841,7 @@ module SipTorture_TestCases 


	testcase TC_SCALAR02() runs on SipSimuEx

	{

		log ("This testcase may produce a fail or error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");

		log ("This testcase may produce an error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");

	

		tc_defaultTimeout.start;

		alt
@@ -856,7 +856,10 @@ module SipTorture_TestCases 
			}

			[]sipPort.receive

			{

				setverdict(fail);

				// It is acceptable to return a pass since it is not a strong requirement

				// to handle big integers in the codec. The main requirement is that the 

				// CoDec must not crash

				setverdict(pass);

			}

			[]tc_defaultTimeout.timeout

			{
@@ -867,7 +870,7 @@ module SipTorture_TestCases 


	testcase TC_SCALARLG() runs on SipSimuEx

	{

		log ("This testcase may produce a fail or error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");

		log ("This testcase may produce an error verdict if the CoDec or the TTCN-3 compiler do not support big integers (>64 bits), such a verdict can be safely ingored since this is a robustness test");



		tc_defaultTimeout.start;

		alt
@@ -882,7 +885,10 @@ module SipTorture_TestCases 
			}

			[]sipPort.receive

			{

				setverdict(fail);

				// It is acceptable to return a pass since it is not a strong requirement

				// to handle big integers in the codec. The main requirement is that the 

				// CoDec must not crash

				setverdict(pass);

			}

			[]tc_defaultTimeout.timeout

			{