ttcn3
/
osmo-ttcn3-hacks
mirror of https://gerrit.osmocom.org/osmo-ttcn3-hacks
10
0
Fork 1
Code Issues Releases Wiki Activity

bsc: fix f_establish_fully() for expected assignment failures 

The altstep guard statements are to restrictive so they do not
match on an expected assignment failure anymore.

- Add a new altstep for expected assignment failures.

Change-Id: I78b839f0bcb7e2da61bff0add3abc452bfea40a2
This commit is contained in:
Philipp Maier 2018-02-07 14:40:09 +01:00
parent dcf9eb92f4
commit 86f3920e5b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bsc/MSC_ConnectionHandler.ttcn
View File

@ -517,6 +517,7 @@ runs on MSC_ConnHdlr return PDU_BSSAP {
var PDU_BSSAP bssap;
timer T := 10.0;
var boolean exp_compl := ischosen(exp_ass_cpl.pdu.bssmap.assignmentComplete);
var boolean exp_fail := ischosen(exp_ass_cpl.pdu.bssmap.assignmentFailure);
var ExpectCriteria mgcpcrit := {
connid := omit,
endpoint := omit,
@ -556,6 +557,9 @@ runs on MSC_ConnHdlr return PDU_BSSAP {
(not st.is_assignment and st.modify_done)] BSSAP.receive(exp_ass_cpl) -> value bssap {
setverdict(pass);
}
[exp_fail] BSSAP.receive(exp_ass_cpl) -> value bssap {
setverdict(pass);
}
[(st.is_assignment and st.assignment_done or
(not st.is_assignment and st.modify_done)) and
exp_compl] BSSAP.receive(tr_BSSMAP_AssignmentComplete) {