pgw: stop components early if test fails

Change-Id: I3465a421a4b2a3fce72a1c54037d8dc2b4e3a0fe
This commit is contained in:
Pau Espin 2023-02-28 14:13:42 +01:00
parent 55980c4888
commit f97f6e2f90
1 changed files with 18 additions and 10 deletions

View File

@ -632,17 +632,20 @@ private function f_create_session() runs on PGW_Session_CT {
process_bctx_create(bctx); process_bctx_create(bctx);
} }
case ('0001'B) { // removed case ('0001'B) { // removed
setverdict(fail, "We don't expect removed bearer contexts yet"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
"We don't expect removed bearer contexts yet");
} }
} }
} }
} }
[] GTP2.receive(tr_GTP2C_CreateSessionResp(d_teid:=g_teic, cause:=?)) -> value rx { [] GTP2.receive(tr_GTP2C_CreateSessionResp(d_teid:=g_teic, cause:=?)) -> value rx {
setverdict(fail, "Unexpected CreateSessionResp(cause=", Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
rx.gtpcv2_pdu.createSessionResponse.cause.causeValue, ")"); log2str("Unexpected CreateSessionResp(cause=",
rx.gtpcv2_pdu.createSessionResponse.cause.causeValue, ")"));
} }
[] GTP2.receive { [] GTP2.receive {
setverdict(fail, "Unexpected GTPv2 while waiting for CreateSessionResp"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
"Unexpected GTPv2 while waiting for CreateSessionResp");
} }
} }
@ -673,10 +676,12 @@ private function f_delete_session(template (omit) OCT1 tx_cause := omit,
setverdict(pass); setverdict(pass);
} }
[] GTP2.receive(tr_GTP2C_DeleteSessionResp(?, ?)) { [] GTP2.receive(tr_GTP2C_DeleteSessionResp(?, ?)) {
setverdict(fail, "Unexpected DeleteSessionResp"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
"Unexpected DeleteSessionResp");
} }
[] GTP2.receive { [] GTP2.receive {
setverdict(fail, "Unexpected GTPv2 while waiting for DeleteSessionResp"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
"Unexpected GTPv2 while waiting for DeleteSessionResp");
} }
} }
@ -712,7 +717,8 @@ runs on PGW_Session_CT return integer
log("Starting a program: ", command); log("Starting a program: ", command);
var UECUPS_StartProgramRes res := f_gtp2_start_program(sprog); var UECUPS_StartProgramRes res := f_gtp2_start_program(sprog);
if (res.result != OK) { if (res.result != OK) {
setverdict(fail, "Unable to start program '", command, "'"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
log2str("Unable to start program '", command, "'"));
} }
return res.pid; return res.pid;
} }
@ -730,10 +736,12 @@ private function f_wait_term(integer pid, template (present) integer exit_code :
setverdict(pass); setverdict(pass);
} }
[] GTP2.receive(UECUPS_ProgramTermInd:?) -> value pti { [] GTP2.receive(UECUPS_ProgramTermInd:?) -> value pti {
setverdict(fail, "Received unexpected ProgramTermInd := ", pti); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
log2str("Received unexpected ProgramTermInd := ", pti));
} }
[] T.timeout { [] T.timeout {
setverdict(fail, "timeout waiting for user-plane program termination"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
"timeout waiting for user-plane program termination");
} }
} }
} }
@ -778,7 +786,7 @@ testcase TC_tx_echo() runs on PGW_Test_CT {
setverdict(pass); setverdict(pass);
} }
[] T.timeout { [] T.timeout {
setverdict(fail, "timeout waiting for Echo Response"); Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "timeout waiting for Echo Response");
} }
} }
} }