msc: Add TC_cm_reest_req_reject: Expect CM RE-EST REQ to be rejected
Change-Id: I7d15b935caed2dacf39d66a33ff933a9b8c443d9
diff --git a/library/L3_Templates.ttcn b/library/L3_Templates.ttcn
index f23c8fa..7836555 100644
--- a/library/L3_Templates.ttcn
+++ b/library/L3_Templates.ttcn
@@ -129,6 +129,34 @@
}
}
+template (value) CipheringKeySequenceNumberV ts_CKSN(integer key_seq) := {
+ keySequence := int2bit(key_seq, 3),
+ spare := '0'B
+}
+
+/* Send template for CM RE-ESTABLISH REQUEST */
+template (value) PDU_ML3_MS_NW ts_CM_REEST_REQ(integer cksn, MobileIdentityLV mi_lv) := {
+ discriminator := '0000'B, /* overwritten */
+ tiOrSkip := {
+ skipIndicator := '0000'B
+ },
+ msgs := {
+ mm := {
+ cMReEstablReq := {
+ messageType := '101000'B, /* overwritten */
+ nsd := '00'B,
+ cipheringKeySequenceNumber := ts_CKSN(cksn),
+ spare := '0000'B,
+ mobileStationClassmark2 := ts_CM2,
+ mobileIdentityLV := mi_lv,
+ locationAreaIdentification := omit,
+ deviceProperties := omit
+ }
+ }
+ }
+}
+
+
template PDU_ML3_NW_MS tr_MT_simple(template BIT4 discr := ?) := {
discriminator := discr,
tiOrSkip := {