Commit be2bcc45 authored by Michele Carignani's avatar Michele Carignani
Browse files

Merge branch 'ubi' into 'master' 

Fix PIC_NOTIFICATIONS misuse on SRVSUB.

See merge request !17
parents dde4307b d484f8b0

Test Purposes/SRV/SRVSUB/PlatSrvSubscriptions.tplan2

+6 −6
Original line number Diff line number Diff line
@@ -33,7 +33,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -76,7 +76,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -218,7 +218,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -267,7 +267,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -310,7 +310,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and
@@ -354,7 +354,7 @@ Package MEC_SRV_SRVSUB { 


      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES



      Initial conditions  with {

         the IUT entity being_in idle_state and