mme: Introduce test TC_ue_cell_reselect_geran_to_eutran

This test allows reproducing an idle mobility GERAN->EUTRAN.

Related: OS#6294
Change-Id: I6f8f077b99e83e6467d2b0c05148b81dbcf2ede4
diff --git a/library/S1AP_Emulation.ttcn b/library/S1AP_Emulation.ttcn
index e3e3216..955c690 100644
--- a/library/S1AP_Emulation.ttcn
+++ b/library/S1AP_Emulation.ttcn
@@ -72,7 +72,8 @@
 };
 type union S1APEM_Config {
 	NAS_Keys set_nas_keys,
-	ResetNAScounts reset_nas_counts
+	ResetNAScounts reset_nas_counts,
+	NAS_ALG_INT set_nas_alg_int
 };
 
 type enumerated S1APEM_EventUpDown {
@@ -453,6 +454,11 @@
 			S1apAssociationTable[assoc_id].nus.rx_count := 0;
 			S1apAssociationTable[assoc_id].nus.tx_count := 0;
 			}
+		/* Configuration primitive from client */
+		[] S1AP_CLIENT.receive(S1APEM_Config:{set_nas_alg_int:=?}) -> value s1cfg sender vc_conn {
+			var integer assoc_id := f_assoc_id_by_comp(vc_conn);
+			S1apAssociationTable[assoc_id].nus.alg_int := s1cfg.set_nas_alg_int;
+			}
 		/* S1AP from client: InitialUE */
 		[] S1AP_CLIENT.receive(tr_S1AP_InitialUE) -> value msg sender vc_conn {
 			/* create a table entry about this connection */