Commit 71731c75 authored by rennoch's avatar rennoch
Browse files

resolution of comment E01.16

parent f6b9d987

AtsNIT_SipSip/ttcn/AtsNIT_SipSip_BC_TCFunctions.ttcn

+10 −10
Original line number Diff line number Diff line
@@ -4228,15 +4228,15 @@ module AtsNIT_SipSip_BC_TCFunctions { 
			));

			

    		alt {

        		[]SIPP.receive	(mw_CANCEL_Request_Base(vc_callId)) -> value v_CANCEL sender vc_sent_label {

        			tc_wait.stop;

        			f_setHeadersOnReceiptOfRequest(v_CANCEL);

        			f_send200OK();

				[] SIPP.receive	(mw_Response_Base(c_statusLine408, vc_callId, vc_cSeq)) -> value vc_response {

					tc_ack.stop;

					f_setHeadersOnReceiptOfResponse(vc_cSeq, vc_response);

					setverdict(pass)

				}

        		[]SIPP.receive	(mw_BYE_Request_Base(vc_callId)) -> value v_BYE sender vc_sent_label {

        			tc_wait.stop;

        			f_setHeadersOnReceiptOfRequest(v_BYE);

        			f_send200OK();

				[] SIPP.receive	(mw_Response_Base(c_statusLine480, vc_callId, vc_cSeq)) -> value vc_response {

					tc_ack.stop;

					f_setHeadersOnReceiptOfResponse(vc_cSeq, vc_response);

					setverdict(pass)

				}

    		}