Errors resolved (2668abd4) · Commits · INT - Core Network and Interoperability Testing / Voice and Video over 5G / Emergency 5G Interoperability Tests

test_purposes/Gm/TP_GM.tplan2

+4 −4

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

		Initial conditions with {
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not 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 entity 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
		@@ -692,7 +692,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A is5GRegisteredTo the _5GC_A and
		the UE_A entity 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 entity is5GRegisteredTo the _5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

test_purposes/Ic/TP_IC.tplan2

+3 −3

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

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

		Expected behaviour

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 entity 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_PS.tplan2

+10 −10

Original line number	Diff line number	Diff line
		@@ -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 entity is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not 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 entity 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 entity is5GRegisteredTo the _5GC_A and
		the UE_A entity not isRegisteredTo the IMS_A and
		the UE_A entity not 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 entity 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 entity 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 entity 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 entity 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
		@@ -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 entity 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 entity 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 entity 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