Rename initial condition 5GC_A/B by _5GC_A/B due to Eclipse TDL errors raised (2aa3b761) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over 5G / Emergency 5G Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+17 −17

Original line number	Diff line number	Diff line
		@@ -34,7 +34,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A
		}

		@@ -92,7 +92,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity hasAchievedFirstRegistration
		}
		@@ -151,7 +151,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A
		}

		@@ -192,7 +192,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_B and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_B and
		the UE_A entity not isRegisteredTo the IMS_B
		}

		@@ -236,7 +236,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_B and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_B and
		the UE_A entity not isRegisteredTo the IMS_B
		}

		@@ -281,7 +281,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		}
		@@ -318,7 +318,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -356,7 +356,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		/* This implies that the UE is currently attached and registered
		@@ -397,7 +397,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -443,7 +443,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
		}
		@@ -486,7 +486,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GRegisteredTo the 5GC_B and
		the UE_A entity is5GRegisteredTo the _5GC_B and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		/* This implies that the UE is currently attached and registered
		@@ -527,7 +527,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
		}
		@@ -564,7 +564,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity hasAchievedInitialEmergencyINVITE
		}
		@@ -601,7 +601,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -646,7 +646,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -692,7 +692,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

		@@ -727,7 +727,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

test_purposes/Ic/TP_IC.tplan2

+1 −1

Original line number	Diff line number	Diff line
		@@ -34,7 +34,7 @@ Package TP_IC {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A isRegisteredTo the IMS_A and
		the PSAP isTemporaryUnavailable
		}

test_purposes/Isc/TP_ISC.tplan2

+1 −1

Original line number	Diff line number	Diff line
		@@ -34,7 +34,7 @@ Package TP_ISC {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A

test_purposes/Mw/TP_MW_IS.tplan2

+5 −5

Original line number	Diff line number	Diff line
		@@ -36,7 +36,7 @@ Package TP_MW_IS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A
		}

		@@ -85,7 +85,7 @@ Package TP_MW_IS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity hasAchievedFirstREGISTER
		}
		@@ -144,7 +144,7 @@ Package TP_MW_IS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity hasAchievedFirstREGISTER
		}
		@@ -184,7 +184,7 @@ Package TP_MW_IS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GRegisteredTo the 5GC_B and
		the UE_A entity is5GRegisteredTo the _5GC_B and
		the UE_A entity isNotRegisteredTo the IMS_B
		}

		@@ -223,7 +223,7 @@ Package TP_MW_IS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GRegisteredTo the 5GC_B and
		the UE_A entity is5GRegisteredTo the _5GC_B and
		the UE_A entity isNotRegisteredTo the IMS_B
		}

test_purposes/Mw/TP_MW_PS.tplan2

+16 −16

Original line number	Diff line number	Diff line
		@@ -34,7 +34,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A
		}

		@@ -96,7 +96,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity hasAchievedFirstREGISTER
		}
		@@ -171,7 +171,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GRegisteredTo the 5GC_B and
		the UE_A entity is5GRegisteredTo the _5GC_B and
		the UE_A entity isNotRegisteredTo the IMS_B and
		the UE_B entity isNotRegisteredTo the IMS_B and
		the UE_A entity hasAchievedFirstREGISTER
		@@ -223,7 +223,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		}
		@@ -268,7 +268,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -314,7 +314,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		}
		@@ -362,7 +362,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A
		}
		@@ -412,7 +412,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A
		}

		@@ -459,7 +459,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity hasAchievedInitialEmergencyINVITE
		@@ -510,7 +510,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

		@@ -560,7 +560,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

		@@ -609,7 +609,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity not isEmergencyRegisteredTo the IMS_A and
		the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP
		@@ -653,7 +653,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity is5GEmergencyRegisteredTo the 5GC_A and
		the UE_A entity is5GEmergencyRegisteredTo the _5GC_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity hasAchievedInitialEmergencyINVITE and
		the UE_A entity isRequestedToSend a CANCEL
		@@ -697,7 +697,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

		@@ -740,7 +740,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity isRequestedToSend a CANCEL
		}
		@@ -783,7 +783,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A and
		the UE_A entity isEmergencyRegisteredTo the IMS_A and
		the UE_A entity previouslyEstablishedEmergencyCallWith the PSAP