parent
303ad05dfd
commit
b3448f0422
|
@ -249,6 +249,7 @@ function f_cbsp_write(uint16_t msg_id, uint16_t ser_no,
|
|||
} else {
|
||||
rx := tr_CBSP_WRITE_CBS_FAIL(msg_id, ser_no, fail_list, *, success_list, channel_ind);
|
||||
}
|
||||
log("EXPECTING ", tr_CBSP_Recv(g_cbsp_conn_id[0], rx));
|
||||
alt {
|
||||
[] CBSP[0].receive(tr_CBSP_Recv(g_cbsp_conn_id[0], rx)) {
|
||||
setverdict(pass);
|
||||
|
@ -281,6 +282,7 @@ function f_cbsp_replace(uint16_t msg_id, uint16_t new_ser_no, uint16_t old_ser_n
|
|||
rx := tr_CBSP_REPLACE_CBS_FAIL(msg_id, new_ser_no, old_ser_no, fail_list, *, success_list,
|
||||
channel_ind);
|
||||
}
|
||||
log("f_cbsp_replace() EXPECTING ", tr_CBSP_Recv(g_cbsp_conn_id[0], rx));
|
||||
alt {
|
||||
[] CBSP[0].receive(tr_CBSP_Recv(g_cbsp_conn_id[0], rx)) {
|
||||
setverdict(pass);
|
||||
|
@ -309,6 +311,7 @@ function f_cbsp_kill(uint16_t msg_id, uint16_t ser_no, template (omit) uint8_t c
|
|||
rx := tr_CBSP_KILL_FAIL(msg_id, ser_no, fail_list, compl_list:=*, cell_list:=success_list,
|
||||
channel_ind:=channel_ind);
|
||||
}
|
||||
log("EXPECTING cbsp ", rx);
|
||||
alt {
|
||||
[] CBSP[0].receive(tr_CBSP_Recv(g_cbsp_conn_id[0], rx)) {
|
||||
setverdict(pass);
|
||||
|
|
Loading…
Reference in New Issue