diff --git a/OneM2M_PermutationFunctions.ttcn b/OneM2M_PermutationFunctions.ttcn index a7109932f4f97a68fdafa360b1875fa2217fec58..8d148d2e41b2a7b3f02c31fc8e3001518412faee 100644 --- a/OneM2M_PermutationFunctions.ttcn +++ b/OneM2M_PermutationFunctions.ttcn @@ -9567,11 +9567,11 @@ module OneM2M_PermutationFunctions { mcaPort.send(f_getMsgOutPrimitive(m_request(valueof(p_requestPrimitive)))); tc_ac.start; alt { - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001, v_contentResponse))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002, v_contentResponse))) -> value v_response { tc_ac.stop; setverdict(pass, __SCOPE__ & ": URI attribute is set to <request> resource address"); } - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002))) -> value v_response { tc_ac.stop; setverdict(fail, __SCOPE__ & ": URI attribute is not set to <request> resource address"); } @@ -9661,11 +9661,11 @@ module OneM2M_PermutationFunctions { mcaPort.send(f_getMsgOutPrimitive(m_request(valueof(p_requestPrimitive)))); tc_ac.start; alt { - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001, v_contentResponse))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002, v_contentResponse))) -> value v_response { tc_ac.stop; setverdict(pass, __SCOPE__ & ": URI attribute is set to <request> resource address"); } - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002))) -> value v_response { tc_ac.stop; setverdict(fail, __SCOPE__ & ": URI attribute is not set to <request> resource address"); } @@ -9739,11 +9739,11 @@ module OneM2M_PermutationFunctions { mcaPort.send(f_getMsgOutPrimitive(m_request(valueof(p_requestPrimitive)))); tc_ac.start; alt { - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001, v_contentResponse))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002, v_contentResponse))) -> value v_response { tc_ac.stop; setverdict(pass, __SCOPE__ & ": URI attribute is set to <request> resource address"); } - [] mcaPort.receive(mw_response(mw_responsePrimitive(int1001))) -> value v_response { + [] mcaPort.receive(mw_response(mw_responsePrimitive(int1002))) -> value v_response { tc_ac.stop; setverdict(fail, __SCOPE__ & ": URI attribute is not set to <request> resource address"); }