module AtsMec_UEidentityAPI_TestControl { // LibMec/UEidentityAPI import from UEidentityAPI_Pics all; // LibMec import from LibMec_Pics all; // AtsMec_UEidentityAPI import from AtsMec_UEidentityAPI_TestCases all; control { if (PICS_MEC_PLAT and PICS_SERVICES and PICS_UE_IDENTITY_API_SUPPORTED) { execute(TC_MEC_MEC014_SRV_UETAG_001_OK()); execute(TC_MEC_MEC014_SRV_UETAG_001_BR()); execute(TC_MEC_MEC014_SRV_UETAG_001_NF()); execute(TC_MEC_MEC014_SRV_UETAG_002_OK()); execute(TC_MEC_MEC014_SRV_UETAG_002_BR()); execute(TC_MEC_MEC014_SRV_UETAG_002_PF()); } } // End of 'control' statement } // End of module AtsMec_UEidentityAPI_TestControl