Commit 5d76a932 authored by liebigan's avatar liebigan
Browse files

add missing final Notify

parent dc76b8a3

test_purposes/ecrf/ecrf_tps.tplan2

+3 −0
Original line number Diff line number Diff line
@@ -820,6 +820,7 @@ Package ECRF { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }
@@ -887,6 +888,7 @@ Package ECRF { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }
@@ -954,6 +956,7 @@ Package ECRF { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }

test_purposes/esrp/esrp_tps.tplan2

+3 −0
Original line number Diff line number Diff line
@@ -664,6 +664,7 @@ Package ESRP { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }
@@ -731,6 +732,7 @@ Package ESRP { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }
@@ -798,6 +800,7 @@ Package ESRP { 
              	}

              	then {

                	the IUT entity sends an OkResponse

                	and the IUT entity sends a Notify

        	  	}       	 

	        }

	    }