Commit 734dd850 authored by Yann Garcia's avatar Yann Garcia
Browse files
parent 0952c79b
Loading
Loading
Loading
Loading
+0 −6
Original line number Original line Diff line number Diff line
@@ -32,12 +32,6 @@ Package MEC_MEC021_SRV_AMS_BO_BI {
        PICS Selection PIC_AMS
        PICS Selection PIC_AMS


        Initial conditions  with {
        Initial conditions  with {
            the IUT entity having a RegistrationInfoList containing
                RegistrationInfo containing
                    appMobilityServiceId indicating value APP_MOBILITY_SERVICE_ID_1,
                    serviceConsumerId indicating value SERVICE_CONSUMER_ID_1;,
                RegistrationInfo containing
                    appMobilityServiceId indicating value APP_MOBILITY_SERVICE_ID_2;;
        }
        }


        Expected behaviour
        Expected behaviour