Commit 4be19b7a authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

bugfixing

parent c7d28266
Loading
Loading
Loading
Loading
+5 −5
Original line number Diff line number Diff line
@@ -723,7 +723,7 @@ Package TP_SCCAS_Chapter_12_3 {
		                
		        Initial conditions with {
		            the UE entity isRegisteredTo the IMS and
		            the IUT entity hasAchievedInitialINVITE and // INVITE contains TargetDialog header field
		            the IUT entity hasAchievedInitialINVITE and // INVITE initiated by served User and contains TargetDialog header field
		            the IUT entity hasAchievedUPDATEuponINVITE 		            
		        }
		        
@@ -757,7 +757,7 @@ Package TP_SCCAS_Chapter_12_3 {
		                
		        Initial conditions with {
		            the UE entity isRegisteredTo the IMS and
		            the IUT entity hasAchievedInitialINVITE and // INVITE contains TargetDialog header field
		            the IUT entity hasAchievedInitialINVITE and // INVITE initiated by remote user and contains TargetDialog header field
		            the IUT entity hasAchievedUPDATEuponINVITE  		            
		        }
		        
@@ -880,7 +880,7 @@ Package TP_SCCAS_Chapter_12_3 {
		                
		        Initial conditions with {
		            the UE entity isRegisteredTo the IMS and
		            the IUT entity hasAchievedInitialINVITE and // INVITE contains Accept containing MIME indicating value "application/vnd.3gpp.mid-call+xml"
		            the IUT entity hasAchievedInitialINVITE and // INVITE initiated by served User and contains Accept containing MIME indicating value "application/vnd.3gpp.mid-call+xml"
		            the IUT entity hasAchievedUPDATEuponINVITE 	        
		        }
		        
@@ -913,7 +913,7 @@ Package TP_SCCAS_Chapter_12_3 {
		                
		        Initial conditions with {
		            the UE entity isRegisteredTo the IMS and
		            the IUT entity hasAchievedInitialINVITE and // INVITE contains Accept containing MIME indicating value "application/vnd.3gpp.mid-call+xml"
		            the IUT entity hasAchievedInitialINVITE and // INVITE initiated by remote user and contains Accept containing MIME indicating value "application/vnd.3gpp.mid-call+xml"
		            the IUT entity hasAchievedUPDATEuponINVITE 	  	            
		        }