Commit 9ed43a92 authored by liebigan's avatar liebigan
Browse files

fix unsubscribe TPs

parent cee41ed9

test_purposes/ecrf/ecrf_tps.tplan2

+3 −3
Original line number Diff line number Diff line
@@ -777,7 +777,7 @@ Package ECRF { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-ElementState"

    	    		;  

				and the IUT entity sends an OkResponse
@@ -844,7 +844,7 @@ Package ECRF { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-SecurityPosture"

    	    		;  

				and the IUT entity sends an OkResponse
@@ -911,7 +911,7 @@ Package ECRF { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-ServiceState"

    	    		;  

				and the IUT entity sends an OkResponse

test_purposes/esrp/esrp_tps.tplan2

+3 −3
Original line number Diff line number Diff line
@@ -403,7 +403,7 @@ Package ESRP { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-ElementState"

    	    		;  

				and the IUT entity sends an OkResponse
@@ -470,7 +470,7 @@ Package ESRP { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-SecurityPosture"

    	    		;  

				and the IUT entity sends an OkResponse
@@ -537,7 +537,7 @@ Package ESRP { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "emergency-ServiceState"

    	    		;  

				and the IUT entity sends an OkResponse

test_purposes/lis/lis_tps.tplan2

+1 −1
Original line number Diff line number Diff line
@@ -370,7 +370,7 @@ Package LIS { 
	     	      	    

	        Initial conditions

	        with {        	

	    		the IUT entity receives a UnsubscribeRequest containing 

	    		the IUT entity receives a SubscribeRequest containing 

    	    		"event" set to "presence"

    	    		;  

				and the IUT entity sends an OkResponse