Replace initial condition isAttachedTo by is5GRegisteredTo (8484d997) · 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 entity isAttachedTo the EPC_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
		}
		@@ -356,7 +356,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_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
		@@ -692,7 +692,7 @@ Package TP_GM {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_A and
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A entity isRegisteredTo the IMS_A
		}

test_purposes/Ic/TP_IC.tplan2

+5 −5

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2023.
		Copyright (c) ETSI 2023/2025.

		This software is subject to copyrights owned by ETSI. Non-exclusive permission
		is hereby granted, free of charge, to copy, reproduce and amend this file
		@@ -12,7 +12,7 @@ associated with this file for which ETSI keeps all rights reserved. The present
		copyright notice shall be included in all copies of whole or part of this
		file and shall not imply any sub-license right.
		*
		* @author TTF T010
		* @author TTF T010 / TTF T044
		*/


		@@ -34,9 +34,9 @@ Package TP_IC {
		PICS Selection NONE

		Initial conditions with {
		UE_A isAttachedTo the EPC_A and
		UE_A isRegisteredTo the IMS_A and
		PSAP isTemporaryUnavailable
		the UE_A is5GRegisteredTo the 5GC_A and
		the UE_A isRegisteredTo the IMS_A and
		the PSAP 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 entity isAttachedTo the EPC_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_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 entity isAttachedTo the EPC_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
		}
		@@ -314,7 +314,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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
		}
		@@ -459,7 +459,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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
		@@ -697,7 +697,7 @@ Package TP_MW_PS {
		PICS Selection NONE

		Initial conditions with {
		the UE_A entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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 entity isAttachedTo the EPC_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

test_purposes/Rtp/TP_Rtp.tplan2

+2 −2

Original line number	Diff line number	Diff line
		@@ -37,7 +37,7 @@ Package TP_RTP {
		PICS Selection NONE

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

		@@ -69,7 +69,7 @@ Package TP_RTP {
		PICS Selection NONE

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