AtsMec_UEidentityAPI_TestControl.ttcn

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) {
      if (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